A Model-Based Transformation Process to Validate and Implement High-Integrity Systems

Gilles Lasnier, Laurent Pautet, Jérôme Hugues. A Model-Based Transformation Process to Validate and Implement High-Integrity Systems. In 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011, Newport Beach, California, USA, 28-31 March 2011. pages 67-74, IEEE Computer Society, 2011. [doi]

Authors

Gilles Lasnier

This author has not been identified. Look up 'Gilles Lasnier' in Google

Laurent Pautet

This author has not been identified. Look up 'Laurent Pautet' in Google

Jérôme Hugues

This author has not been identified. Look up 'Jérôme Hugues' in Google