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

1–20 von 40 Ergebnissen
|

    SmartAgriFood machine breakdown service

    Pickel, Peter / Hüther, Nicole / Flörchinger, Thomas | Tema Archiv | 2013
    Schlagwörter: formale Spezifikation

    Model-based testing of automotive HMIs with consideration for product variability

    Duan, Linshu | Tema Archiv | 2012
    Schlagwörter: formale Spezifikation , testorientierte Spezifikation

    A Guidance Framework for the Generation of Implementation Models in the Automotive Domain

    Wozniak, E. / Mraidha, C. / Gerard, S. et al. | Tema Archiv | 2011
    Schlagwörter: formale Spezifikation

    Modelling and Verification of the System Requirement Specification of Train Control System Using SDL

    Yuan, L. / Tang, T. / Li, K. | Tema Archiv | 2011
    Schlagwörter: formale Spezifikation , formale Verifikation

    Simulation of a Railway Control System: Dynamic Analysis of Scoped Memory Consumption

    Hamza, H. / Counsell, S. | Tema Archiv | 2011
    Schlagwörter: formale Spezifikation

    Ein Ingenieur-gerechtes formales Beschreibungsmittel

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

    Evaluating a control system architecture based on a formally derived AOCS model

    Ilic, Dubravka / Latvala, Timo / Varpaaniemi, Kimmo et al. | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Automatic instantiation of abstract tests on specific configurations for large critical control systems

    Flammini, F. / Mazzocca, N. / Orazzo, A. | Tema Archiv | 2009
    Schlagwörter: formale Spezifikation

    Security requirements engineering in the automotive domain: On specification procedures and implementational aspects

    Wolf, Marko / Paar, Christof | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation

    Formal modeling and verification of real-time concurrent systems

    Yan, Fei / Tang, Tao | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation , formale Verifikation

    Automated translation of safety critical application software specifications into PLC ladder logic

    Leucht, K.W. / Semmel, G.S. | Tema Archiv | 2008
    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

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

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

    Hybrid-model based hierarchical mission control architecture for autonomous underwater vehicles

    Tangirala, S. / Kumar, R. / Bhattacharyya, S. et al. | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation , formale Verifikation

    The role of formal methods in developing a distributed railway interlocking system

    Banci, M. / Fantechi, A. / Gnesi, S. | Tema Archiv | 2004
    Schlagwörter: formale Spezifikation , formale Überprüfung

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

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

    Automated specification-based test case generation using SCR

    Nikora, A. P. / Heitmeyer, C. L. | NTRS | 2003
    Schlagwörter: formal specification software testing test case generation test oracle

      Automated specification-based test case generation using SCR

      Nikora, A. P. / Heitymeyer, C. L. | NTRS | 2003
      Schlagwörter: test case generation formal specification