A Aralex Aachen research explorer

June 14, 2023 conference-paper

Automated Compositional Verification for Robotic State Machines using Isabelle/HOL

International Conference on Engineering of Complex Computer Systems

DOI: 10.1109/iceccs59891.2023.00029 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 5

References 1

Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams
2021 RWTH Publications (RWTH Aachen) article Computer Science Model-Driven Software Engineering Techniques Open access

4

citations

1 result