Type of Publication: Article in Collected Edition
Roadmap for a formal approach to reduce inconsistencies in enterprise architecture views
- Author(s):
- Overbeek, Sietse; Cerone, Antonio; Janssen, Marijn
- Editor:
- Harrison, Michael; Massink, Mieke
- Title of Anthology:
- Preliminary Proceedings of the 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009), Eindhoven, The Netherlands, November 2, 2009
- pages:
- 87-90
- Publisher:
- European Association of Software Science and Technology (EASST), Potsdam, Germany, EU
- Publication Date:
- 2009
- Link to complete version:
- http://homepages.cs.ncl.ac.uk/michael.harrison/fmis/FMIS2009preproceedings.pdf
- Citation:
- Download BibTeX
