Period of time： 2014年6期
Publisher： Springer Publishing Company
Founded in： 1972
Total resources： 29
ISSN： 0885-7458
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
International Journal of Parallel Programming,volume 33,issue 6
Menu
By Fummi Franco,Harris Ian in (2005)
International Journal of Parallel Programming,volume 33,issue 6 , Vol. 33, Iss. 6, 2005-12 , pp.
Access to resources
Recommend
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey
By Loghi Mirko,Margaria Tiziana,Pravadelli Graziano,Steffen Bernhard in (2005)
International Journal of Parallel Programming,volume 33,issue 6 , Vol. 33, Iss. 6, 2005-12 , pp.A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking
By Talpin Jean-Pierre,Guernic Paul,Shukla Sandeep,Gupta Rajesh in (2005)
International Journal of Parallel Programming,volume 33,issue 6 , Vol. 33, Iss. 6, 2005-12 , pp.Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation
By Koelbl Alfred,Pixley Carl in (2005)
International Journal of Parallel Programming,volume 33,issue 6 , Vol. 33, Iss. 6, 2005-12 , pp.A Framework for the Functional Verification of SystemC Models
By Bruschi Francesco,Ferrandi Fabrizio,Sciuto Donatella in (2005)
International Journal of Parallel Programming,volume 33,issue 6 , Vol. 33, Iss. 6, 2005-12 , pp.Verification of Embedded Systems Based on Interval Analysis
By Ugarte Iñigo,Sanchez Pablo in (2005)
International Journal of Parallel Programming,volume 33,issue 6 , Vol. 33, Iss. 6, 2005-12 , pp.