|
|
Advances in systems safety : , proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011 /
Publication:
London : Springer, 2010
. x, 313, [1] p. :
15.5 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Publication:
Berlin : Springer, 2010
. xii, 230 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tests and proofs : , 4th International Conference, Tap 2010, Malaga Spin, July, 1-2,2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 182 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|