Sciweavers

2487 search results - page 4 / 498
» cases 2009
Sort
View
ICFEM
2009
Springer
15 years 11 months ago
European Train Control System: A Case Study in Formal Verification
André Platzer, Jan-David Quesel