Loading…
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...
| Call Number: | Libro Electrónico |
|---|---|
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Singapore :
World Scientific,
©2012.
|
| Subjects: | |
| Online Access: | Texto completo |