Personensuche
X
?
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science ,
2
Do-it-Yourself FMU Generation:
, In:
?
Fundamentals of Software Engineering; Lecture Notes in Computer Science ,
3
Towards a Basic Theory for Partial Differentiation in the P..:
, In:
?
Lecture Notes in Computer Science; Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops ,
4
Co-simulation of a Model Predictive Control System for Auto..:
, In:
?
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; Lecture Notes in Computer Science ,
5
Cross-level Co-simulation and Verification of an Automatic ..:
, In:
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
7
Co-simulation and Verification of a Non-linear Control Syst..:
, In:
?
2020 International Joint Conference on Neural Networks (IJCNN) ,
8
Identify Potential Attacks from Simulated Log Analysis:
, In:
?
Proceedings of the 2020 Summer Simulation Conference ,
9
Co-simulation of bio-inspired multi-agent algorithms:
, In:
?
Computational Biology; Automated Reasoning for Systems Biology and Medicine ,
12
Logic-Based Formalization of System Requirements for Integr..:
, In:
?
From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science ,
13
Application of Model Checking to Fault Tolerance Analysis:
, In:
?
Software Technologies: Applications and Foundations; Lecture Notes in Computer Science ,
14