15 results
5 - PLC-Automata
-
- Book:
- Real-Time Systems
- Published online:
- 06 January 2010
- Print publication:
- 11 September 2008, pp 189-240
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- Real-Time Systems
- Published online:
- 06 January 2010
- Print publication:
- 11 September 2008, pp xii-xiv
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Real-Time Systems
- Published online:
- 06 January 2010
- Print publication:
- 11 September 2008, pp 304-312
-
- Chapter
- Export citation
Real-Time Systems
- Formal Specification and Automatic Verification
-
- Published online:
- 06 January 2010
- Print publication:
- 11 September 2008
3 - Properties and subsets of DC
-
- Book:
- Real-Time Systems
- Published online:
- 06 January 2010
- Print publication:
- 11 September 2008, pp 81-133
-
- Chapter
- Export citation
Notations
-
- Book:
- Real-Time Systems
- Published online:
- 06 January 2010
- Print publication:
- 11 September 2008, pp 293-303
-
- Chapter
- Export citation
2 - Duration Calculus
-
- Book:
- Real-Time Systems
- Published online:
- 06 January 2010
- Print publication:
- 11 September 2008, pp 28-80
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Real-Time Systems
- Published online:
- 06 January 2010
- Print publication:
- 11 September 2008, pp i-iv
-
- Chapter
- Export citation
Index
-
- Book:
- Real-Time Systems
- Published online:
- 06 January 2010
- Print publication:
- 11 September 2008, pp 313-320
-
- Chapter
- Export citation
6 - Automatic verification
-
- Book:
- Real-Time Systems
- Published online:
- 06 January 2010
- Print publication:
- 11 September 2008, pp 241-292
-
- Chapter
- Export citation
Contents
-
- Book:
- Real-Time Systems
- Published online:
- 06 January 2010
- Print publication:
- 11 September 2008, pp v-vi
-
- Chapter
- Export citation
List of symbols
-
- Book:
- Real-Time Systems
- Published online:
- 06 January 2010
- Print publication:
- 11 September 2008, pp xv-xvi
-
- Chapter
- Export citation
Preface
-
- Book:
- Real-Time Systems
- Published online:
- 06 January 2010
- Print publication:
- 11 September 2008, pp vii-xi
-
- Chapter
- Export citation
4 - Timed automata
-
- Book:
- Real-Time Systems
- Published online:
- 06 January 2010
- Print publication:
- 11 September 2008, pp 134-188
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Real-Time Systems
- Published online:
- 06 January 2010
- Print publication:
- 11 September 2008, pp 1-27
-
- Chapter
- Export citation