Author:
Hsiung Pao-Ann,Lin Shang-Wei
Subject
Computer Networks and Communications,Software
Reference32 articles.
1. Amnell T, Fersman E, Mokrushin L, Petterson P, Yi W. TIMES: a tool for schedulability analysis and code generation of real-time systems. In: Proceedings of the 1st international workshop on formal modeling and analysis of timed systems (FORMATS), September 2003.
2. Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns;Douglass,1999
3. RTFrame: an object-oriented application framework for real-time applications;Hsiung,1998
4. Embedded software verification in hardware–software codesign;Hsiung;Journal of Systems Architecture—the Euromicro Journal,2000
5. Automating formal modular verification of asynchronous real-time embedded systems;Hsiung,2003
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Complexity of Adding Multitolerance;ACM Transactions on Autonomous and Adaptive Systems;2014-10-07
2. MR4UM: A framework for adding fault tolerance to UML state diagrams;Theoretical Computer Science;2013-07
3. Automatic Generation of Provably Correct Embedded Systems;Formal Methods and Software Engineering;2012
4. Complexity Analysis of Weak Multitolerance;2010 IEEE 30th International Conference on Distributed Computing Systems;2010