Property-Preserving Petri Net Process Algebra in Software Engineering
Download or Read eBook Property-Preserving Petri Net Process Algebra in Software Engineering PDF written by Hejiao Huang and published by World Scientific. This book was released on 2012 with total page 319 pages. Available in PDF, EPUB and Kindle.
| Author | : Hejiao Huang |
| Publisher | : World Scientific |
| Total Pages | : 319 |
| Release | : 2012 |
| ISBN-10 | : 9789814324281 |
| ISBN-13 | : 9814324280 |
| Rating | : 4/5 (81 Downloads) |
Book Synopsis Property-Preserving Petri Net Process Algebra in Software Engineering by : Hejiao Huang
Book excerpt: Annotation In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. This volume presents a component-based methodology for the creation and verification of design specifications.
