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

Gilles Lasnier, Laurent Pautet, Jrme Hugues

Browse the full ISORC paper archive.