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

61–80 von 109 Ergebnissen
|

    Verification of the redundancy management system for space launch vehicle: a case study

    Sokolsky, O. / Younis, M. / Lee, Insup et al. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation , formale Verifikation

    Requirements archaeology: from unstructured information to high quality specifications (in the automotive industry)

    Kiedaisch, F. / Pohl, M. / Weisbrod, J. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    An PEARL orientierte Spezifikation verteilter eingebetteter Systeme mit UML-Stereotypen

    Lu, S. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation

    UML-based specification of a railway interlocking and signalling system

    Zahradnik, J. / Rastocny, K. / Janota, A. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation

    Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung

    Meyer zu Hörste, M. / Schnieder, E. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    Automotive software development: a model based approach

    Rappl, M. / Braun, P. / Beeck, M. von der et al. | Tema Archiv | 2002
    Schlagwörter: formale Spezifikation , modellbasierte 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

    Runtime adaptation in safety-critical automotive systems

    Trapp, Mario / Adler, Rasmus / Förster, Marc et al. | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Object oriented and formal methods for AUV development

    Champeau, J. / Dhaussy, P. / Moitie, R. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation , formale Methode

    Are proof techniques industrially operational?

    Pilarski, F. | Tema Archiv | 2001
    Schlagwörter: formale Spezifikation

    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

    Requirements-based conformance testing of ARINC 653 real-time operating systems

    Maksimov, Andrey | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation , formale Verifikation

    Explorations on the formal frontier of distributed system design

    Feather, M.S. | Tema Archiv | 1992
    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

    Validating functional system requirements with scenarios

    Sutcliffe, A. / Gregoriades, A. | Tema Archiv | 2002
    Schlagwörter: formale Spezifikation , formale Verifikation

    Project Golden Gate: towards real-time Java in space missions

    Dvorak, D. / Bollella, G. / Canham, T. et al. | Tema Archiv | 2004
    Schlagwörter: formale Spezifikation , formale Verifikation

    Industrial applications of software synthesis via category theory

    Williamson, K. / Healy, M. | Tema Archiv | 1999
    Schlagwörter: formale Spezifikation

    Integration of message sequence charts and Petri nets in the system design process

    Kluge, O. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation

    Functional modelling and simulation of train control systems

    Meyer zu Hörste, M. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation