creators_name: Pereverzeva, Inna
creators_name: Troubitsyna, Elena
creators_name: Laibinis, Linas
creators_id: Inna.Pereverzeva@abo.fi
creators_id: Elena.Troubitsyna@abo.fi
creators_id: Linas.Laibinis@abo.fi
type: conference_item
datestamp: 2012-06-29 07:55:06
lastmod: 2012-06-29 07:55:06
metadata_visibility: show
title: Formal Development of Critical Multi-Agent Systems: A Refinement Approach
ispublished: pub
subjects: Refinement
subjects: deploy_method_proof
subjects: deploy_method_resil
subjects: examples
full_text_status: none
pres_type: paper
date: 2012
date_type: published
event_title: 9th European Dependable Computing Conference – EDCC 2012
event_location: Sibiu, Romania
event_type: conference
refereed: TRUE
citation:   Pereverzeva, Inna and Troubitsyna, Elena and Laibinis, Linas  (2012) Formal Development of Critical Multi-Agent Systems: A Refinement Approach.  In: 9th European Dependable Computing Conference – EDCC 2012, Sibiu, Romania.     

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>