On 18th February 2011 the MADES Project held in Paris a Technical Meeting on verification modeling examples to be included in the MADES Approach Guide to be released in July 2011. The team discussed the MADES Diagrams to be included in the Guide and the verification modeling of the MADES Approach Guide explanatory example based on a Car Collision Avoidance System Case Study.
The meeting was hosted by Softeam and was attended by Politecnico di Milano and Txt e-solutions.