Author:
Hsiung Pao-Ann,Lin Shang-Wei
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Alur, R., Dill, D.: Automata for modeling real-time systems. Theoretical Computer Science 126(2), 183–236 (1994)
2. Lecture Notes in Computer Science;E.M. Clarke,1981
3. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
4. Douglass, B.P.: Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns, November 1999. Addison Wesley Longman, Inc., Reading (1999)
5. Fayad, M., Schmidt, D.: Object-oriented application frameworks. Communications of the ACM, Special Issue on Object-Oriented Application Frameworks 40 (October 1997)