VERTAF: an application framework for the design and verification of embedded real-time software

Cite this paper

@article{Hsiung2004VERTAFAA, title={VERTAF: an application framework for the design and verification of embedded real-time software}, author={Pao-Ann Hsiung and Shang-Wei Lin and Chih-Hao Tseng and Trong-Yen Lee and Jih-Ming Fu and Win-Bin See}, journal={IEEE Transactions on Software Engineering}, year={2004}, volume={30}, pages={656-674} }