Real-time : theory in practice : REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings
In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time...
Sparad:
| Institutionell upphovsman: | |
|---|---|
| Övriga upphovsmän: | , , |
| Materialtyp: | Livre numérique |
| Språk: | Anglais |
| Publicerad: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
600 |
| Ämnen: | |
| Länkar: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmärkning: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Real-time, theory in practice, REX Workshop, Mook, the Netherlands, June 3-7, 1991, proceedings, [ed. par] J.W. de Bakker... [et al.], Berlin, Springer-Verlag, 1992, 1 vol. (viii-723 p.), Lecture notes in computer science, 3-540-55564-1 • Real-Time: Theory in Practice, Texte imprimé, 9783662193747 |
Innehållsförteckning:
- An old-fashioned recipe for real time
- Verifying automata specifications of probabilistic real-time systems
- The theory of timed automata
- Logics and models of real time: A survey
- The state operator in real time process algebra
- Timed process algebras with urgent interactions and a unique powerful binary operator
- Time in state based formal description techniques for distributed systems
- Real-time and the Mu-Calculus (preliminary report)
- Implementing reactive programs on circuits a hardware implementation of LUSTRE
- Semantics and completeness of Duration Calculus
- Timed transition systems
- Compositional verification of real-time systems using extended Hoare triples
- Semantics of reactive systems in abstract time
- Problems, promises and performance: some questions for real-time system specification
- Abstraction in real time process algebra
- (Real) time: A philosophical perspective
- Specification and analysis of resource-bound real-time systems
- Forward and backward simulations for timing-based systems
- Prom timed to hybrid systems
- Coping with implementation dependencies in real-time system verification
- Validating real-time systems by executing logic specifications
- An overview and synthesis on timed process algebras
- From ATP to timed graphs and hybrid systems
- Verification of safety critical systems using TTM/RTTL
- Predicative specification of timed processes
- Putting time into proof outlines
- Timed CSP: Theory and practice
- A specification of the cat and mouse problem
- Layering and action refinement for timed systems.