Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

2010 2009 2007

Number of items: 4.

2010

Boiten, Eerke Albert (2010) Security specification: completeness, feasibility, refinement. In: Extended Abstracts Collection -- Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl, Germany. (Full text available)

Preview

2009

Iliasov, Alexei and Arief, Budi and Romanovsky, Alexander (2009) Step-wise development of resilient ambient campus scenarios. In: Butler, Michael and Jones, Cliff and Romanovsky, Alexander and Troubitsyna, Elena, eds. Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science . Springer, pp. 297-323. ISBN 0302-9743. (doi:https://doi.org/10.1007/978-3-642-00867-2_14) (Full text available)

Preview

2007

Iliasov, Alexei and Romanovsky, Alexander and Arief, Budi and Laibinis, Linas and Troubitsyna, Elena (2007) On rigorous design and implementation of fault tolerant ambient systems. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007, 7-9 May 2007, Santorini Island. (doi:https://doi.org/10.1109/ISORC.2007.46) (Full text available)

Preview

Iliasov, Alexei and Romanovsky, Alexander and Arief, Budi and Laibinis, Linas and Troubitsyna, Elena (2007) A framework for open distributed system design. In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, 24-27 July 2007, Beijing. (doi:https://doi.org/10.1109/COMPSAC.2007.23) (Full text available)

Preview

This list was generated on Fri Apr 20 20:18:01 2018 BST.