Login / Signup
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL.
Kyungmin Bae
Peter Csaba Ölveczky
Published in:
FACS (2023)
Keyphrases
</>
formal model
test case generation
formal models
test cases
artificial intelligence
distributed systems
complex systems
multiscale
cooperative
probabilistic model
software development
peer to peer
generation method
human decision making