1108 search results - page 30 / 222 » Model Checking of Safety Properties |
WIA
2009
Springer
15 years 7 months ago
2009
Springer
88
Voted
APN
2001
Springer
15 years 5 months ago
2001
Springer
87
Voted
TACAS
1998
Springer
15 years 4 months ago
1998
Springer
ECTEL
2007
Springer
15 years 4 months ago
2007
Springer
When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user's learning goals, that the curriculum i...
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer