Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Petri Nets for Systems Engineering | Claude Girault | Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illus… | OL19894240W |