@inproceedings{deploy24,
       booktitle = {Seventh European Dependable Computing Conference (EDCC-7)},
           month = {May},
           title = {Towards Rigorous Engineering of Resilient Pervasive Systems},
          author = {Alexei Iliasov and Linas Laibinis and Alexander Romanovsky and Kaisa Sere and Elena Troubitsyna},
            year = {2008},
           pages = {3--6},
             url = {http://deploy-eprints.ecs.soton.ac.uk/24/},
        abstract = {While pervasive systems offer versatile computing environment, their complexity poses a significant challenge to their developers. Hence ensuring resilience
of pervasive systems is an important issue, which should be tackled by adopting rigorous design methods and systems approach. In this short paper we identify the key research directions in engineering pervasive resilient systems and our experience in rigorous development of a multi-agent application called Ambient Campus.}
}

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