%0 Journal Article %1 journals/tse/HsiungLTLFS04 %A Hsiung, Pao-Ann %A Lin, Shang-Wei %A Tseng, Chih-Hao %A Lee, Trong-Yen %A Fu, Jih-Ming %A See, Win-Bin %D 2004 %J IEEE Trans. Software Eng. %K dblp %N 10 %P 656-674 %T VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software. %U http://dblp.uni-trier.de/db/journals/tse/tse30.html#HsiungLTLFS04 %V 30

@article{journals/tse/HsiungLTLFS04, added-at = {2020-06-15T00:00:00.000+0200}, author = {Hsiung, Pao-Ann and Lin, Shang-Wei and Tseng, Chih-Hao and Lee, Trong-Yen and Fu, Jih-Ming and See, Win-Bin}, biburl = {https://www.bibsonomy.org/bibtex/2cea13e16dfaa492d537a923c7d5bd514/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2004.68}, interhash = {937eb5ee7140d2923571cdbf0f2d3a13}, intrahash = {cea13e16dfaa492d537a923c7d5bd514}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 10, pages = {656-674}, timestamp = {2020-06-16T11:55:02.000+0200}, title = {VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse30.html#HsiungLTLFS04}, volume = 30, year = 2004 }