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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 4.

Book section

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:10.1007/978-3-642-00867-2_14) (Full text available)
[img]
Preview

Conference or workshop item

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)
[img]
Preview

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:10.1109/ISORC.2007.46) (Full text available)
[img]
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:10.1109/COMPSAC.2007.23) (Full text available)
[img]
Preview

This list was generated on Thu Dec 8 20:10:46 2016 GMT.