Gå direkte til innholdet
Modeling and Verification of Parallel Processes
Spar

Modeling and Verification of Parallel Processes

Daily life relies more and more on safety critical systems, e.g. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.
Undertittel
4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures
Opplag
2001 ed.
ISBN
9783540427872
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
24.10.2001
Antall sider
234