Zoekresultaten
Resultaat 1 - 6 (van 6)
P. Zhou | J. Hooman Formal specification and compositional verification of an atomic broadcast protocol
Non-fictie
Engels | 22 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1994
Gedrukt boek
J. Hooman Correctness of real time systems by construction
Non-fictie
Engels | 22 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1994
Gedrukt boek
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
Henk Schepers | J. Hooman A trace-based compositional proof theory for fault tolerant distributed systems
Non-fictie
Engels | 27 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1993
Gedrukt boek
Jos Coenen | J. Hooman A compositional semantics for fault-tolerant real-time systems
Non-fictie
Engels | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1992
Gedrukt boek
A.L. de Groot | J. Hooman Analyzing the light control system with PVS
Non-fictie
Engels | 39 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2000
Gedrukt boek