Search for persons
X
?
2023 IEEE 19th International Conference on Factory Communication Systems (WFCS) ,
2
Cost of Robustness of Independent WCRT Analysis for CBS of ..:
, In:
?
Theories of Programming and Formal Methods; Lecture Notes in Computer Science ,
3
Assume-Guarantee Reasoning for Additive Hybrid Behaviour:
, In:
?
2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) ,
10
The Hazard Value: A Quantitative Network Connectivity Measu..:
, In:
?
2022 11th Mediterranean Conference on Embedded Computing (MECO) ,
12