Combining Timed Automata based Formal Specifications and Real-Time Scheduling Analysis - OFFIS

Ihr Browser unterstützt kein JavaScript!

Um alle Funktionen dieser Seite nutzen zu können, benötigen Sie JavaScript!<br> Bitte aktualisieren Sie Ihren Browser oder aktivieren Sie JavaScript in den Einstellungen.

Home
OFFIS
Publikationen
Combining Timed Automata based Formal Specifications and Real-Time Scheduling Analysis

Combining Timed Automata based Formal Specifications and Real-Time Scheduling Analysis

Export

Alle Autoren

Dierks, Henning and Metzner, Alexander and Stierand, Ingo

Erscheinungsdatum

06 / 2007

Publikationstyp

inproceedings

Datenschutz Datentransparenz Kontakt Impressum