Skip to main content
Erschienen in: International Journal on Software Tools for Technology Transfer 3/2006

01.06.2006 | Special section on Tools and Algorithms for the Construction and Analysis of Systems

Lower and upper bounds in zone-based abstractions of timed automata

verfasst von: Gerd Behrmann, Patricia Bouyer, Kim G. Larsen, Radek Pelánek

Erschienen in: International Journal on Software Tools for Technology Transfer | Ausgabe 3/2006

Einloggen

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Metadaten
Titel
Lower and upper bounds in zone-based abstractions of timed automata
verfasst von
Gerd Behrmann
Patricia Bouyer
Kim G. Larsen
Radek Pelánek
Publikationsdatum
01.06.2006
Verlag
Springer-Verlag
Erschienen in
International Journal on Software Tools for Technology Transfer / Ausgabe 3/2006
Print ISSN: 1433-2779
Elektronische ISSN: 1433-2787
DOI
https://doi.org/10.1007/s10009-005-0190-0

Weitere Artikel der Ausgabe 3/2006

International Journal on Software Tools for Technology Transfer 3/2006 Zur Ausgabe

Special section on Tools and Algorithms for the Construction and Analysis of Systems

Automated generation of a progress measure for the sweep-line method

Special section on Tools and Algorithms for the Construction and Analysis of Systems

Checking JML specifications using an extensible software model checking framework

Special section on Tools and Algorithms for the Construction and Analysis of Systems

Liveness with invisible ranking

Special section on Tools and Algorithms for the Construction and Analysis of Systems

Error explanation with distance metrics

Special section on Tools and Algorithms for the Construction and Analysis of Systems

Numerical vs. statistical probabilistic model checking

Special section on Tools and Algorithms for the Construction and Analysis of Systems

Online efficient predictive safety analysis of multithreaded programs