Zoekresultaten
Resultaat 1 - 3 (van 3)
U. Hanneman | J. Hooman Top-down design of a command-and-control system with timing assumptions
Non-fictie
Engels | 53 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2001
Gedrukt boek
P. Zhou | J. Hooman | R. Kuiper A compositional proof system for real-time systems based on explicit clock temporal logic: soundness and completeness
Non-fictie
Engels | 52 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1991
Gedrukt boek
J. Hooman Specification and compositional verification of real-time systems
Non-fictie
Engels | 225 pagina's | 1991
Gedrukt boek