81–100 of 144 hits
|

    Runtime adaptation in safety-critical automotive systems

    Trapp, Mario / Adler, Rasmus / Förster, Marc et al. | Tema Archive | 2007
    Keywords: formale Spezifikation

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

    Tangirala, S. / Kumar, R. / Bhattacharyya, S. et al. | Tema Archive | 2005
    Keywords: formale Spezifikation , formale Verifikation

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

    Leucht, K.W. / Semmel, G.S. | Tema Archive | 2008
    Keywords: formale Spezifikation

    Are proof techniques industrially operational?

    Pilarski, F. | Tema Archive | 2001
    Keywords: formale Spezifikation

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

    Maksimov, Andrey | Tema Archive | 2010
    Keywords: formale Spezifikation , formale Verifikation

    Automotive software development: a model based approach

    Rappl, M. / Braun, P. / Beeck, M. von der et al. | Tema Archive | 2002
    Keywords: formale Spezifikation , modellbasierte Spezifikation

    Validating functional system requirements with scenarios

    Sutcliffe, A. / Gregoriades, A. | Tema Archive | 2002
    Keywords: formale Spezifikation , formale Verifikation

    Object oriented and formal methods for AUV development

    Champeau, J. / Dhaussy, P. / Moitie, R. et al. | Tema Archive | 2000
    Keywords: formale Spezifikation , formale Methode

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

    Meyer zu Hörste, M. / Schnieder, E. | Tema Archive | 2000
    Keywords: formale Spezifikation

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

    Kluge, O. | Tema Archive | 2003
    Keywords: formale Spezifikation

    Functional modelling and simulation of train control systems

    Meyer zu Hörste, M. | Tema Archive | 2003
    Keywords: formale Spezifikation

    Industrial applications of software synthesis via category theory

    Williamson, K. / Healy, M. | Tema Archive | 1999
    Keywords: formale Spezifikation

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

    Vangheluwe, H. / Lara, J. de | Tema Archive | 2004
    Keywords: formale Spezifikation

    Projet B-RAIL: utilisation de la notation UML et du langage B pour la modelisation d'un passage a niveau

    Boulanger, Jean-Louis | Tema Archive | 2007
    Keywords: formale Spezifikation

    Explorations on the formal frontier of distributed system design

    Feather, M.S. | Tema Archive | 1992
    Keywords: formale Spezifikation

    Process model for the development of system requirements specifications for railway systems

    Bitsch, F. | Tema Archive | 2003
    Keywords: formale Spezifikation

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

    Dvorak, D. / Bollella, G. / Canham, T. et al. | Tema Archive | 2004
    Keywords: formale Spezifikation , formale Verifikation