Property-Preserving Petri Net Process Algebra in Software Engineering

Property-Preserving Petri Net Process Algebra in Software Engineering
Author :
Publisher : World Scientific
Total Pages : 319
Release :
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

Download or read book Property-Preserving Petri Net Process Algebra in Software Engineering 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. 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.


Property-Preserving Petri Net Process Algebra in Software Engineering Related Books

Property-Preserving Petri Net Process Algebra in Software Engineering
Language: en
Pages: 319
Authors: Hejiao Huang
Categories: Computers
Type: BOOK - Published: 2012 - Publisher: World Scientific

DOWNLOAD EBOOK

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
Property-preserving Petri Net Process Algebra In Software Engineering
Language: en
Pages: 319
Authors: Hejiao Huang
Categories: Computers
Type: BOOK - Published: 2012-03-14 - Publisher: World Scientific

DOWNLOAD EBOOK

In a component-based approach for system design, one of the challenging problems is the way to prove the correctness of the created components. Usually, the con
Petri Nets for Systems Engineering
Language: en
Pages: 607
Authors: Claude Girault
Categories: Computers
Type: BOOK - Published: 2013-01-08 - Publisher: Springer

DOWNLOAD EBOOK

Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and
Fundamental Approaches to Software Engineering
Language: en
Pages: 372
Authors:
Categories: Software engineering
Type: BOOK - Published: 2002 - Publisher:

DOWNLOAD EBOOK

Proceedings of the ... International Symposium on Software Testing and Analysis (ISSTA).
Language: en
Pages: 208
Authors:
Categories: Computer software
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK