Chargement en cours…
Property-preserving petri net process algebra in software engineering /
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 constituent components are supposed to be correct - possessing the desirable properties and free from undesirable ones. However, the operators...
| Cote: | Libro Electrónico |
|---|---|
| Autres auteurs: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Singapore :
World Scientific,
©2012.
|
| Sujets: | |
| Accès en ligne: | Texto completo |