Online Appendix to: MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems DIDAC GIL DE LA IGLESIA, Linnaeus University DANNY WEYNS, Linnaeus University - Timed automaton - Document - PDFSEARCH.IO

First Page	Meta Content
	Online Appendix to: MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems DIDAC GIL DE LA IGLESIA, Linnaeus University DANNY WEYNS, Linnaeus University Add to Reading List Document Date: 2015-01-21 07:12:04 Open Document File Size: 396,20 KB Share Result on Facebook

Online Appendix to: MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems DIDAC GIL DE LA IGLESIA, Linnaeus University DANNY WEYNS, Linnaeus UniversityAdd to Reading List