A practical theory of reactive systems incremental modeling of dynamic behaviors /
"This book presents a "practical theory" of reactive systems, with formal foundations in the temporal logic of actions. The theory supports incremental development of operational, object-oriented models in steps that preserve already established properties. Models are given in an acti...
| Main Author: | Kurki-Suonio, Reino. |
|---|---|
| Other Authors: | SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin :
Springer,
2005.
Berlin : 2005. |
| Physical Description: |
1 online resource (xxi, 418 pages) : 112 figure, 20 table. |
| Series: |
Texts in theoretical computer science.
|
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |