G. Nicolescu · 2 obras en el catálogoObrasMModel-based design for embedded systemsModel-based design for embedded systemsGlobal specification and validation of embedded systems