Formal Methods for Industrial Critical Systems

Industrial

von Darren Cofer Alessandro Fantechi

Taschenbuch

ISBN: 978-3-642-03241-7

ISBN-10: 3-642-03241-9

Springer · 2009

Siehe auch (möglicherweise von anderen Autoren):
2009PaperbackFormal Methods for Industrial Critical Systems