Sciweavers

2870 search results - page 157 / 574
» Synchronization of multi-agent systems
Sort
View
EMSOFT
2009
Springer
16 years 1 months ago
Modeling synchronous systems in BIP
Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis
PROMAS
2007
Springer
16 years 18 days ago
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...