Personensuche
X
?
2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS) ,
1
Validating communication of a dynamic traffic management sy..:
, In:
?
Formal Aspects of Component Software; Lecture Notes in Computer Science ,
5
Modeling Guidelines for Component-Based Supervisory Control..:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
6
The Impact of Requirement Splitting on the Efficiency of Su..:
, In:
?
Industrial Internet of Things; Springer Series in Wireless Technology ,
7
Model-Based Engineering of Supervisory Controllers for Cybe..:
, In:
?
ICCPS '14: ACM/IEEE 5th International Conference on Cyber-Physical Systems (with CPS Week 2014) ,
11