KIT | KIT-Bibliothek | Impressum | Datenschutz

A Formal Specification of the Horus Modeling Language Using FDMM

Fill, Hans-Georg; Hickl, Susan; Karagiannis, Dimitris; Oberweis, Andreas; Schoknecht, Andreas



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2013
Sprache Englisch
Identifikator ISBN: 978-3-00-041360-5
KITopen ID: 1000040704
Erschienen in Proceedings of the 11th International Conference on Wirtschaftsinformatik (WI2013), Feb 27 - Mar 01 2013 University Leipzig, Germany. Vol. 2. Hrsg. R. Alt
Verlag Merkur, Leipzig
Seiten 1165 - 1179
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page