Executable time-triggered model (E-TTM) for the development of safety-critical embedded systems / Juan Martin Perez Cerrolaza. 2011
Inhalt