Publisher: Edp Sciences
E-ISSN: 2261-236x|87|issue|05001-05001
ISSN: 2261-236x
Source: MATEC Web of conference, Vol.87, Iss.issue, 2017-08, pp. : 05001-05001
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Formalizing Real-Time Embedded System into Promela
MATEC Web of conference, Vol. 35, Iss. issue, 2015-12 ,pp. :
Tool-driven Design and Automated Parameterization for Real-time Generic Drivetrain Models
MATEC Web of conference, Vol. 28, Iss. issue, 2015-10 ,pp. :