AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Jozef Hooman

Jozef Hooman

Radboud University - Nijmegen / Netherlands
Engineering & Technology / Computer Science
AD Scientific Index ID: 1794154
Radboud Universiteit
person_outline Jozef Hooman's MOST POPULAR ARTICLES
1-) Concurrency verification: Introduction to compositional and non-compositional methods Cambridge University Press, 2001
2-) Real-Time Systems: specification, verification, and analysis prentice Hall, 1996
3-) Specification and compositional verification of real-time systems Springer Berlin Heidelberg, 1991
4-) Modeling and validating distributed embedded real-time systems with VDM++ International Symposium on Formal Methods, 147-162, 2006
5-) Formalizing UML models and OCL constraints in PVS Electronic Notes in Theoretical Computer Science 115, 39-47, 2005