Kein Foto von Rupert Schlick

Rupert Schlick

Dipl.-Ing.

 https://orcid.org/0000-0002-5644-1679
    Filter
    Beitrag in Tagungsband ohne Präsentation

    Suchergebnisse

    • 2019

      Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3

      Butler, M., Dghaym, D., Son Hoang, T., Omitola, T., Snook, C., Fellner, A., Schlick, R., Tarrach, T., Fischer, T. & Tummeltshammer, P., 2019, 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS). S. 97-106 10 S.

      Publikation: Beitrag in Buch oder Tagungsband › Beitrag in Tagungsband ohne Präsentation

      Open Access
    • 2018

      Behaviour-Driven Formal Model Development.

      Snook, C., Son Hoang, T., Dghyam, D., Butler, M., Fischer, T., Schlick, R. & Wang, K., 2018, Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Springer, S. 21-36 16 S.

      Publikation: Beitrag in Buch oder Tagungsband › Beitrag in Tagungsband ohne Präsentation

      Open Access