JKU Linz  
 
 


Publikationsdetails

Wissenschaftsgebiete 
Zitat: Stefan Mitsch, Grant Olney Passmore, Andre Platzer, "Collaborative Verification-Driven Engineering of Hybrid Systems" , in Mathematics in Computer Science, Vol. 8, Nummer 1, Springer, Seite(n) 71-97, 2014, ISSN: 1661-8289
Original Titel: Collaborative Verification-Driven Engineering of Hybrid Systems
Sprache des Titels: Englisch
Journal: Mathematics in Computer Science
Veröffentlicher: Springer
Volume: 8
Number: 1
Seitenreferenz: 71-97
Erscheinungsjahr: 2014
ISSN: 1661-8289
Anzahl der Seiten: 27
DOI: 10.1007/s11786-014-0176-y
Reichweite: international
Publikationstyp: Aufsatz / Paper in sonstiger referierter Fachzeitschrift
Autoren: Stefan Mitsch, Grant Olney Passmore, Andre Platzer
Forschungseinheiten: Abteilung für Kooperative Informationssysteme
Wissenschaftsgebiete: Informatik (ÖSTAT:102)
Informationssysteme (ÖSTAT:102015)
Web Engineering (ÖSTAT:102027)
fodok.jku.at Zum Seitenanfang

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum