Synonyme wurden verwendet für: formale Spezifikation
Suche ohne Synonyme: keywords:(formale Spezifikation)

1–7 von 7 Ergebnissen
|

    Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen

    Chouikha, M. / Einer, S. / Meyer zu Hörste, M. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    Computer automated multi-paradigm modelling for analysis and design of traffic networks

    Vangheluwe, H. / Lara, J. de | Tema Archiv | 2004
    Schlagwörter: formale Spezifikation

    Model-based testing of a reactive system with coloured Petri Nets

    Tjell, Simon | Tema Archiv | 2006
    Schlagwörter: formale Spezifikation

    Basic requirements for the use of formal tools in safety procedures of the railway systems

    Barbu, George | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Lessons Learned beim Übergang von Funktionsmodellierung mit Verhaltensmodellen zu modellbasierter Software-Entwicklung mit Implementierungsmodellen

    Fey, Ines / Kleinwechter, Henning / Leicher, Andreas et al. | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Modellierung und Analyse von Zeitanforderungen basierend auf der UML

    Hagner, Mattias / Huhn, Michaela | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Ein Ingenieur-gerechtes formales Beschreibungsmittel

    Yuen Man Hon / Gayen, Jan-Tecker | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation , formale Methode