Domain-specific languages for enterprise systems

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

OriginalsprogEngelsk
TitelLeveraging applications of formal methods, verification and validation. Technologies for mastering change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
RedaktørerTiziana Margaria, Bernhard Steffen
Antal sider23
ForlagSpringer
Publikationsdato2014
Sider73-95
Kapitel6
ISBN (Trykt)978-3-662-45233-2
ISBN (Elektronisk)978-3-662-45234-9
DOI
StatusUdgivet - 2014
BegivenhedInternational Symposium, ISoLA 2014 - Imperial, Corfu, Grækenland
Varighed: 8 okt. 2014 → 11 okt. 2014
Konferencens nummer: 6

Konference

KonferenceInternational Symposium, ISoLA 2014
Nummer6
LandGrækenland
ByImperial, Corfu
Periode08/10/2014 → 11/10/2014
NavnLecture notes in computer science
Vol/bind8802
ISSN0302-9743

ID: 125683440