Report copyright - KEYNOTE AND INVITED SPEAKERS · system properties. The framework relies on an expressive property specification language, conceived for the formalization of embedded system requirements
Please pass captcha verification before submit form