Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988
This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Imp...
שמור ב:
| מחבר תאגידי: | |
|---|---|
| מחברים אחרים: | |
| פורמט: | Livre numérique |
| שפה: | Anglais |
| יצא לאור: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| סדרה: | Lecture notes in computer science
331 |
| נושאים: | |
| גישה מקוונת: | 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: | • Formal techniques in real-time and fault-tolerant systems, proceedings of a symposium, Warwick, UK, September 22-23, 1988, M. Joseph (ed.), Berlin, Springer-Verlag, 1988, 1 vol. (VI-229 p.), Lecture notes in computer science, 3-540-50302-1 • Formal Techniques in Real-Time and Fault-Tolerant Systems, Texte imprimé, 9783662202272 |
תוכן הענינים:
- High integrity computing
- Using higher-order logic for modular specification of real-time distributed systems
- Timed specifications for the development of real-time systems
- Applications of temporal logic to the specification of real time systems
- From a synchronous declarative language to a temporal logic dealing with multiform time
- A specification language for reliable real-time systems
- Timed acceptances: A model of time dependent processes
- Responsive sequential processes
- Static analysis of real-time distributed systems
- Low level synchronisation problems in digital systems
- Reasoning about uncertainty in fault-tolerant distributed systems
- Paradigms for real-time systems
- Towards a theory of replicated processing
- Reasoning about atomic objects
- A formal treatment of interference in remote procedure calls
- List of authors and addresses.