12981 search results - page 234 / 2597 » Model Checking (Abstract) |
DAC
1990
ACM
15 years 7 months ago
1990
ACM
110
Voted
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
121
click to vote
ECTEL
2007
Springer
15 years 7 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...