Lecture Notes in Computer Science
© 2000
Integrated Formal Methods
Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings
Editors: Grieskamp, Wolfgang, Santen, Thomas, Stoddart, Bill (Eds.)
Free PreviewBuy this book
- Table of contents (24 chapters)
-
-
Assertions
Pages 1-2
-
State-Based Extension of CASL
Pages 3-24
-
Linking DC Together with TRSL
Pages 25-44
-
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
Pages 45-60
-
A Process Compensation Language
Pages 61-76
-
Table of contents (24 chapters)
Read this book on SpringerLink
- Download Sample pages 1 PDF (21.4 KB)
- Download Table of contents PDF (38.7 KB)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Integrated Formal Methods
- Book Subtitle
- Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings
- Editors
-
- Wolfgang Grieskamp
- Thomas Santen
- Bill Stoddart
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 1945
- Copyright
- 2000
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-40911-3
- DOI
- 10.1007/3-540-40911-4
- Softcover ISBN
- 978-3-540-41196-3
- Series ISSN
- 0302-9743
- Edition Number
- 1
- Number of Pages
- X, 446
- Topics
