1–4 von 4 Ergebnissen
|

Ihre Suche:
keywords:(formale 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

    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

    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