AgentDSM Eval : a framework for the evaluation of domain specific modeling languages for multi agent systems
Source
Computer standards and interfaces - ISSN 0920-5489-76 (2021) p.
Development of an IoT and WSN based CPS using MPM approach : a smart fire detection case study
Source
Multi-paradigm modelling approaches for cyber-physical systems-p. 245-270
Agent-based cyber-physical system development with SEA_ML++
Source
Multi-paradigm modelling approaches for cyber-physical systems-p. 195-219
Refactoring legacy software for layer separation
Source
International journal of software engineering and knowledge engineering - ISSN 0218-1940-31:02 (2021) p. 217-247
The complexity of reachability in parametric Markov decision processes
Source
Journal of computer and system sciences - ISSN 0022-0000-119 (2021) p. 183-210