*Result*: Formal specification and systematic model-driven testing of embedded automotive systems
Title:
Formal specification and systematic model-driven testing of embedded automotive systems
Source:
2011 Design, Automation & Test in Europe Design, Automation & Test in Europe Conference & Exhibition (DATE), 2011. :1-6 Mar, 2011
Relation:
2011 Design, Automation & Test in Europe Conference & Exhibition (DATE 2011)
Database:
IEEE Xplore Digital Library