Zoekresultaten
Resultaat 1 - 3 (van 3)
Tim A.C. Willemse The analysis of a conveyor belt system
a case study in hybrid systems and timed uCRL
Non-fictie
Engels | 44 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1999
Gedrukt boek
Tim A.C. Willemse | Jan Tretmans | Arjen Klomp A case study in formal methods
specification and validation of the OM/RR protocol
Non-fictie
Engels | 16 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computing Science, Eindhoven | 2000
Gedrukt boek
Tim A.C. Willemse Semantics and verification in process algebras with data and timing
Non-fictie
Engels | 181 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2003
Gedrukt boek