Anwendung algebraischer Graphtransformationen auf ausgewählte Probleme der Wissensrepräsentation und -verarbeitung

von Conrad, Mirko
Veröffentlicht 1995

Modell-basierter Test eingebetteter Software im Automobil : Auswahl und Beschreibung von Testszenarien

von Conrad, Mirko
Veröffentlicht 2004

Anwendung algebraischer Graphtransformationen auf ausgewählte Probleme der Wissensrepräsentation und -verarbeitung

von Conrad, Mirko
Veröffentlicht 1995

Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem

Veröffentlicht 1995

Graphische Spezifikation ausgewählter Teile von AGG, einem algebraischen Graphgrammatiksystem

Veröffentlicht 1995

Anwendung algebraischer Graphtransformationen auf ausgewählte Probleme der Wissensrepräsentation und -verarbeitung

von Conrad, Mirko
Veröffentlicht 1995

Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem

Veröffentlicht 1995

Safety Cases for Adaptive Systems of Systems: State of the Art and Current Challenges

von Mirzaei, Elham
Veröffentlicht in EDCC (16. : 2020 : München) Dependable computing - EDCC 2020 Workshops (2020)

Tool-Supported Test Case Design Based on Z and the Classiflcation-Tree Method

von Singh, Harbhajan
Veröffentlicht in Tools for system development and verification (1998)

Automatic Integration of Safety Invariants into Z Specifications

von Hechel, Reiko
Veröffentlicht in Tools for system development and verification (1998)

Simulations- und Testmethoden für Software in Fahrzeugsystemen : Proceedings der Jahrestagung der ASIM/GI-Fachgruppe 4.5.5 "Simulation technischer Systeme", TU Berlin, 1. und 2....

Veröffentlicht 2005