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
- Redaktør
- Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan
- Opplag
- 2001 ed.
- ISBN
- 9783540427872
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 24.10.2001
- Antall sider
- 234
