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
Omer Nguena Timo
Université du Québec en outaouais
Verified email at uqo.ca
Cited by 228
Model-based testing
model-checking
safety and security properties
formal methods
evolving systems
Privacy
Terms
Help
About Scholar
Search help