Blar i Fakultet for informasjonsteknologi og elektroteknikk (IE) på emneord "Reactive Blocks, concurrent distributed system, software verification, model-driven software development"
Viser treff 1-1 av 1
-
MODEL-DRIVEN ENGINEERING OF COMPLEX SYSTEMS Supporting the Design of Reactive Systems with Augmented Modeling and Verification Mechanisms
(Doctoral theses at NTNU;2020:287, Doctoral thesis, 2020)This thesis motivates the need for the Reactive Blocks approach for model-driven Complex Systems Engineering (CSE). With the booming of the Internet economy and development of the Internet of Things (IoT), interconnected ...