Hejiao (Harbin Inst Of Technology Shenzhen Graduate School, China) Huang,
Li (Chinese Academy Of Sciences, China) Jiao,
To-yat (City Univ Of Hong Kong, Hong Kong) Cheung,
Michael Wai Ming (The Hong Kong & Shanhai Banking Corp Ltd, Hong Kong) Mak
e.a.
World Scientific Publishing Co Pte Ltd
e druk, 2012
9789814324281
Property-preserving Petri Net Process Algebra In Software Engineering
Specificaties
Gebonden, 320 blz.
|
EN
World Scientific Publishing Co Pte Ltd |
e druk, 2012
ISBN13: 9789814324281
Rubricering
Verwachte levertijd ongeveer 16 werkdagen
Samenvatting
In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. This book offers a component-based methodology for the creation and verification of design specifications. The methodology is presented as an algebra called Property-Preserving Petri Net Process Algebra (PPPA).
Specificaties
ISBN13:9789814324281
Taal:EN
Bindwijze:Gebonden
Aantal pagina's:320
Uitgever:World Scientific Publishing Co Pte Ltd