![](/img/cover-not-exists.png)
A refinement-based approach to developing critical multi-agent systems
Pereverzeva, Inna, Troubitsyna, Elena, Laibinis, LinasVolume:
4
Year:
2013
Language:
english
Journal:
International Journal of Critical Computer-Based Systems
DOI:
10.1504/ijccbs.2013.053743
File:
PDF, 551 KB
english, 2013