Dejan Nickovic

Suchergebnisse

• 2020

  Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

  Ter Beek, M. (Redakteur:in) & Nickovic, D. (Redakteur:in), 2020, Springer. 287 S.

  Publikation: Bücher und Berichte › Tagungsband

  Open Access
• 2012

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

  Jurdzinski, M. (Redakteur:in) & Nickovic, D. (Redakteur:in), 2012, Springer. 277 S.

  Publikation: Bücher und Berichte › Tagungsband