<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-01-21 07:12:04Finite automata Timed automaton Finite-state machine Clock Cellular automata Models of computation |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2015-01-21 07:12:04Finite automata Timed automaton Finite-state machine Clock Cellular automata Models of computation |
Add to Reading List |
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