Browsing Ikerketa-DoktoregoTesiak by Author "60d41f1042fdcea0d2ec7619502e356d"
Now showing items 1-1 of 1
-
Runtime observable and adaptable UML state machine-based software components generation and verification: models@run.time approach
Illarramendi, Miren (Mondragon Unibertsitatea. Goi Eskola PoliteknikoaMondragon Unibertsitatea. Goi Eskola Politeknikoa, 2019)Cyber-Physical Systems (CPSs) are embedded computing systems in which computation interacts closely with the physical world through sensors and actuators. CPSs are used to control context aware systems. These types of ...