Specification and compositional verification of real-time systems
The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage is considered in which concurrent processes communicate by synchronous message passing along unidirectional channels. To specifiy functional...
שמור ב:
| מחבר ראשי: | |
|---|---|
| פורמט: | Livre numérique |
| שפה: | Anglais |
| יצא לאור: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| סדרה: | Lecture notes in computer science
558 |
| נושאים: | |
| גישה מקוונת: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| הערה: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Specification and compositional verification of real-time systems, J. Hooman, Berlin, Springer, 1991, 1 vol. (VIII-235 p.), Lecture notes in computer science, 0-387-54947-1 • Specification and Compositional Verification of Real-Time Systems, Texte imprimé, 9783662161678 |
תוכן הענינים:
- Compositionality
- Compositionality and real-time
- Adding program variables
- Shared processors
- Concluding remarks.