Sciweavers

7209 search results - page 41 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
69
Voted
ADAEUROPE
2001
Springer
15 years 5 months ago
Ship System 2000, a Stable Architecture under Continuous Evolution
Björn Källberg, Rei Stråhle
71
Voted
CSEE
2001
Springer
15 years 5 months ago
Systems Failures: An Approach to Building a Coping Strategy
John Donaldson, John Jenkins
TACS
2001
Springer
15 years 5 months ago
Model-Checking LTL with Regular Valuations for Pushdown Systems
Javier Esparza, Antonín Kucera, Stefan Schw...