Formal Methods for the Design of Real-Time Systems

International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

  • Marco Bernardo
  • Flavio Corradini
Textbook SFM-RT 2004

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

Table of contents

  1. Front Matter
  2. Models and Languages

    1. Rajeev Alur, P. Madhusudan
      Pages 1-24
    2. Elmar Bihler, Walter Vogler
      Pages 25-58
    3. Diletta R. Cacciagrano, Flavio Corradini
      Pages 98-131
    4. Mario Bravetti
      Pages 132-180
  3. Tools and Applications

    1. Gerd Behrmann, Alexandre David, Kim G. Larsen
      Pages 200-236
    2. Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis
      Pages 237-267
    3. Joost-Pieter Katoen, Henrik Bohnenkamp, Ric Klaren, Holger Hermanns
      Pages 268-293
  4. Back Matter

About this book


Petri-ne Unified Modeling Language (UML) automata communication systems design formal method formal methods formal specification hardware design modeling petri net real-time systems systems design systems development systems modeling verification

Editors and affiliations

  • Marco Bernardo
    • 1
  • Flavio Corradini
    • 2
  1. 1.Istituto di Scienze e Tecnologie dell’InformazioneUniversità di Urbino “Carlo Bo”Italy
  2. 2.Dipartimento di Matematica ed InformaticaUniversity of CamerinoCamerinoItaly

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-23068-7
  • Online ISBN 978-3-540-30080-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site