MASSIVE Vorhaben Nr. 19536 BG: Modellsynthese aus sequenzbasierten Verhaltenanforderungen zur modellbasierten Testfallgenerierung : Abschlussbericht : Laufzeit: 01.05.2017-31.10.2019

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Reider, Martin (VerfasserIn)
Körperschaften: Institut für Automation und Kommunikation e.V. Magdeburg (Herausgebendes Organ), Technische Universität München Lehrstuhl für Automatisierung und Informationssysteme (Herausgebendes Organ)
Weitere Verfasser: Meinecke, Karsten (VerfasserIn), Ziegltrum, Simon (VerfasserIn), Land, Kathrin (VerfasserIn), Gallasch, Andreas (MitwirkendeR), Pilz, Thomas (MitwirkendeR)
Format: UnknownFormat
Sprache:ger
Veröffentlicht: Frankfurt am Main Deutsche Forschungsgesellschaft für Automatisierung und Mikroelektronik e.V. (DFAM) 2020
Schriftenreihe:Forschungsbericht / DFAM, Deutsche Forschungsgesellschaft für Automatisierung und Mikroelektronik e.V. Nr. 36 (2020)
Schlagworte:
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Förderkennzeichen AiF-Nr. 19536 BG
Literaturverzeichnis: Seite 77-79
Ausdruck der Online-Ausgabe
Beschreibung:VI, 81 Seiten
Illustrationen