Systematischer Entwurf, formale Modellierung und modellbasierte Validierung von Steuerungen in Ablaufsprache

Sonntag, Christian; Fischer, Stephan; Engell, Sebastian

Autor(en):

Vollständige Referenz
BibTeX

Sonntag, C., Fischer, S. & Engell, S., (2012). Systematischer Entwurf, formale Modellierung und modellbasierte Validierung von Steuerungen in Ablaufsprache. Softwaretechnik-Trends: Vol. 32, No. 2. Köllen Druck & Verlag GmbH. (S. 86-87). DOI: 10.1007/BF03323493

@article{mci/Sonntag2012,
author = {Sonntag, Christian AND Fischer, Stephan AND Engell, Sebastian},
title = {Systematischer Entwurf, formale Modellierung und modellbasierte Validierung von Steuerungen in Ablaufsprache},
journal = {Softwaretechnik-Trends},
volume = {32},
number = {2},
year = {2012},
,
pages = { 86-87 } ,
doi = { 10.1007/BF03323493 }
}

	Dateien	Groesse	Format	Anzeige
	40568_2013_Article_BF03323493.pdf	222.9Kb	PDF	Öffnen

Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.1007/BF03323493

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken