×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [current statususe ioimcs]
Home >
current statususe ioimcs
2 April, 2008AADL/UML workshop - Belfast1 Arcade: A formal, extensible, model-based dependability evaluation framework Hichem Boudali 1, Pepijn Crouzen.
219 views