5030 search results - page 29 / 1006 » cases 2007 |
ICAIL
2007
ACM
15 years 7 months ago
2007
ACM
89
Voted
ESWA
2007
15 years 4 months ago
2007
ETS
2007
IEEE
15 years 4 months ago
2007
IEEE
150
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we describe the Ludo case, one of the case studies of the AGTIVE 2007 Tool Contest (see [22]). After summarising the case description, we give an overview of the subm...