Cited By
View all- Johnsen ESchlatte RTapia Tarifa S(2014)Deployment Variability in Delta-Oriented ModelsPart I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Volume 880210.1007/978-3-662-45234-9_22(304-319)Online publication date: 8-Oct-2014
- Albert Ede Boer FHähnle RJohnsen ELaneve C(2013)Engineering virtualized servicesProceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies10.1145/2513534.2513545(59-63)Online publication date: 2-Sep-2013
- Wong PAlbert EMuschevici RProença JSchäfer JSchlatte R(2012)The ABS tool suiteInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-012-0250-114:5(567-588)Online publication date: 1-Oct-2012
- Show More Cited By