default search action

combined dblp search
author search
venue search
publication search

ask others

SFM 2004: Bertinoro, Italy

> Home > Conferences and Workshops > SFM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/2004
Marco Bernardo, Flavio Corradini:
Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures. Lecture Notes in Computer Science 3185, Springer 2004, ISBN 3-540-23068-8

Models and Languages

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/AlurM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/AlurM04
Rajeev Alur, P. Madhusudan:
Decision Problems for Timed Automata: A Survey. 1-24
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/BihlerV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/BihlerV04
Elmar Bihler, Walter Vogler:
Timed Petri Nets: Efficiency of Asynchronous Systems. 25-58
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/BaetenR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/BaetenR04
Jos C. M. Baeten, Michel A. Reniers:
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing). 59-97
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/CacciagranoC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/CacciagranoC04
Diletta Cacciagrano, Flavio Corradini:
Expressiveness of Timed Events and Timed Languages. 98-131
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/Bravetti04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/Bravetti04
Mario Bravetti:
Real Time and Stochastic Time. 132-180
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/Selic04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/Selic04
Bran Selic:
On the Semantic Foundations of Standard UML 2.0. 181-199

Tools and Applications

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/BehrmannDL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/BehrmannDL04
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen:
A Tutorial on Uppaal. 200-236
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/BozgaGOOS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/BozgaGOOS04
Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis:
The IF Toolset. 237-267
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/KatoenBKH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/KatoenBKH04
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns:
Embedded Software Analysis with MOTOR. 268-294

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.