A refinement-based approach to developing critical multi-agent systems

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis. A refinement-based approach to developing critical multi-agent systems. IJCCBS, 4(1):69-91, 2013. [doi]

Authors

Inna Pereverzeva

This author has not been identified. Look up 'Inna Pereverzeva' in Google

Elena Troubitsyna

This author has not been identified. Look up 'Elena Troubitsyna' in Google

Linas Laibinis

This author has not been identified. Look up 'Linas Laibinis' in Google