Formal Methods and Hybrid Real-Time Systems

Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

  • Editors
  • Cliff B. Jones
  • Zhiming Liu
  • Jim Woodcock

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4700)

Table of contents

  1. Front Matter
  2. Andrew Butterfield
    Pages 45-66
  3. Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan
    Pages 67-82
  4. Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang
    Pages 83-114
  5. Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer et al.
    Pages 115-169
  6. John Fitzgerald, Peter Gorm Larsen
    Pages 237-254
  7. Leo Freitas, Jim Woodcock
    Pages 255-279
  8. Chris George, Padmanabhan Krishnan, P. A. P. Salas, J. W. Sanders
    Pages 280-299
  9. Michael R. Hansen, Jan Madsen, Aske Wiid Brekling
    Pages 300-319
  10. He Jifeng
    Pages 349-363
  11. Cliff B. Jones, Ian J. Hayes, Michael A. Jackson
    Pages 364-390
  12. John Knudsen, Anders P. Ravn, Arne Skou
    Pages 399-413
  13. Xiang Ling, Tom Maibaum, Nazareno Aguirre
    Pages 435-466
  14. Daguang Liu, Peng Wu, Huimin Lin
    Pages 467-471
  15. Martin Pěnička
    Pages 504-520
  16. Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl
    Pages 521-538
  17. Back Matter

About this book


Algorithms algorithm design formal method logic modeling organization real-time software engineering verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-75220-2
  • Online ISBN 978-3-540-75221-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment