Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller
Formal methods ; 2016 ; Limassol, Cyprus
2016-01-01
7 pages
Aufsatz (Konferenz)
Unbekannt
© Metadata Copyright the British Library Board and other contributors. All rights reserved.