George Saleip
YOU?
Author Swipe
View article: Model checking of spacecraft operational designs: a scalability analysis
Model checking of spacecraft operational designs: a scalability analysis Open
Ensuring the correct and safe behavior of a spacecraft is a main objective in space-system design. Since spacecraft consist of highly complex and tightly integrated components developed by large teams of engineers from various different di…
View article: Applicability of Model Checking for Verifying Spacecraft Operational Designs
Applicability of Model Checking for Verifying Spacecraft Operational Designs Open
This is a summary of the paper Applicability of Model Checking for Verifying Spacecraft Operational Designs which has been published at the 26th International Conference on Model Driven Engineering Languages and Systems (MODELS 23).