Sciweavers

2487 search results - page 4 / 498
» cases 2009
Sort
View
100
Voted
FM
2009
Springer
115views Formal Methods» more  FM 2009»
15 years 10 months ago
Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study
André Platzer, Edmund M. Clarke
108
Voted
ICFEM
2009
Springer
15 years 10 months ago
European Train Control System: A Case Study in Formal Verification
André Platzer, Jan-David Quesel
114
Voted
ICMI
2009
Springer
137views Biometrics» more  ICMI 2009»
15 years 10 months ago
Classification of patient case discussions through analysis of vocalisation graphs
Saturnino Luz, Bridget Kane