Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
Sarah M. Loos
Google
Verified email at google.com
Cited by 1336
High Assurance Code for Distributed …
Cyber-Physical Systems
Logic
Formal Verification
Distributed Hybrid Sys
Privacy
Terms
Help
About Scholar
Search help