1376 search results - page 79 / 276 » Model-Driven Software Verification |
95
Voted
ICSE
1992
IEEE-ACM
15 years 6 months ago
1992
IEEE-ACM
This paper presents the tools Ald
110
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
105
Voted
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
CBSE
2007
Springer
15 years 9 months ago
2007
Springer
81
Voted
SEW
2006
IEEE
15 years 8 months ago
2006
IEEE