×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [verification model]
Home >
verification model
Data Mining
779 views
Data Mining for Scientific Applications
1.977 views
Maurice Hendrix, Alexandra Cristea* London Knowledge Lab 25/11/2008 {maurice,acristea}@dcs.warwick.ac.uk *Based on work in collaboration with Paul De Bra,
217 views
Safety and Certification Approaches for Ethernet based Aviation Databuses FAA Software Conference – July 2005 Yang-Hang Lee, Arizona State University Philip.
223 views
Model-Driven Software Verification
496 views
02. Space Frame Example
32 views
Space Frame in Ansys
67 views
Reasoning about human error with interactive systems based on formal models of behaviour Paul Curzon Queen Mary, University of London Paul Curzon Queen.
219 views
Bicycle Report
26 views
MoBIES meeting Deerfield Beach ETC Challenge Problem ETC Model Requirements Simulation results Parametric verification Results Towards a Checkmate model.
219 views