Modeling and formal verification of embedded systems based on a Petri net representation

Author: Cortes L.A.   Eles P.   Peng Z.  

Publisher: Elsevier

ISSN: 1383-7621

Source: Journal of Systems Architecture, Vol.49, Iss.12, 2003-12, pp. : 571-598

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next