Art der Publikation: Beitrag in Sammelwerk
Roadmap for a formal approach to reduce inconsistencies in enterprise architecture views
- Autor(en):
- Overbeek, Sietse; Cerone, Antonio; Janssen, Marijn
- Herausgeber:
- Harrison, Michael; Massink, Mieke
- Titel des Sammelbands:
- Preliminary Proceedings of the 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009), Eindhoven, The Netherlands, November 2, 2009
- Seiten:
- 87-90
- Verlag:
- European Association of Software Science and Technology (EASST), Potsdam, Germany, EU
- Veröffentlichung:
- 2009
- Link zum Volltext:
- http://homepages.cs.ncl.ac.uk/michael.harrison/fmis/FMIS2009preproceedings.pdf
- Zitation:
- Download BibTeX
