Formal Modeling and Analysis of Timed Systems - 10th International Conference

Marcin Jurdzinski (Redakteur:in), Dejan Nickovic (Redakteur:in)

    Publikation: Bücher und Berichte › Tagungsband

    OriginalspracheEnglisch
    VerlagSpringer
    Seitenumfang277
    PublikationsstatusVeröffentlicht - 2012

    Research Field

    • Ehemaliges Research Field - Digital Safety and Security

    Diese Publikation zitieren