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

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
Industry Sectors
IT & Software