by Fabrice Kordon , Daniel Moldt
No reviews yet. Be the first!
Embedded Systems
Distibuted Systems
Models and Analysis for Distributed Syst...
Formal methods for embedded distributed ...
Tools and Algorithms for the Constructio...
Reliable systems on unreliable networked...
Verification of systems and circuits usi...
Discrete Event Systems in Dioid Algebra ...
System modeling and control with resourc...
Coloured Petri Nets, Vol. 1
Coloured Petri Nets
Petri Nets