Alexei Iliasov, Alexander Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna. On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. In Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 7-9 May 2007, Santorini Island, Greece. pages 141-145, IEEE Computer Society, 2007. [doi]
Abstract is missing.