"The project aims at taking a step forward in the growing field of development, verification and validation and certification of critical systems.The project focuses on the more difficult/important points of (safety, efficiency, business, …) of critical system development, verification and validation and certification process. The scientific objectives of the project are study both the scientific ...