bookmarks (hide)
- No matching posts.
publications
(hide)83
This list of posts may not be accurate to recent changes. If you want accurate posts, but with limited sorting follow this link.
- (2008)
- Artif. Intell., 171 (10-15): 776-804 (2007)
- Commun. ACM, 53 (9): 76-85 (2010)
- Addison-Wesley, Upper Saddle River, NJ, (2007)
- Tools and Algorithms for the Construction and Analysis of Systems, 2010, volume 6015 of Lecture Notes in Computer Science, page 266-270. Springer, (2010)
- IEEE Trans. Software Eng., 28 (2): 129-145 (2002)
- Springer, Berlin, (2006)
- Prentice Hall International series in computer science Prentice Hall, (1988)
- (Oct 19, 2012)
- IEEE Software 1 (1), (1984)
- ISO/IEC JTC1/SC22 (Programming languages and operating systems) WG21 (C++), (2012)
- QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems, page 37--38. Washington, DC, USA, IEEE Computer Society, (2008)
- (2003)
- volume 3472 of Lecture Notes in Computer Science, Springer, (2005)
- Springer, (1994)
- Electr. Notes Theor. Comput. Sci., (2007)
- Java series Addison-Wesley-Longman, (1997)
- Model-Based Testing of Reactive Systems, volume 3472 of Lecture Notes in Computer Science, page 525-555. Springer, (2004)
- McGraw-Hill Higher Education, 2nd edition, (2001)
- Formal Methods in System Design, 1 (2/3): 275-288 (1992)
