Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]

Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]. Volume 4157 of Lecture Notes in Computer Science, Springer, 2006.

Conference: rodin2006

Editors

Michael J. Butler

This author has not been identified. Look up 'Michael J. Butler' in Google

Cliff B. Jones

This author has not been identified. Look up 'Cliff B. Jones' in Google

Alexander Romanovsky

This author has not been identified. Look up 'Alexander Romanovsky' in Google

Elena Troubitsyna

This author has not been identified. Look up 'Elena Troubitsyna' in Google