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
Stavros Tripakis
Associate Professor, Northeastern University
Verified email at northeastern.edu
Cited by 10519
Computer science
Formal methods
Embedded systems
Software and system science
Privacy
Terms
Help
About Scholar
Search help