by Carsten Weise
No reviews yet. Be the first!
Entscheidungsalgorithmen für Äquivalenze...
Software Specification Methods
Communicating embedded systems
Formal methods for components and object...
Extension Innovation Method
Modeling in event-b
Process Algebra for Parallel and Distrib...