Period of time： 2014年1期
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 34,issue 1
Menu
By Harris Ian,Fummi Franco in (2006)
International Journal of Parallel Programming,volume 34,issue 1 , Vol. 34, Iss. 1, 2006-03 , pp.
Access to resources
Recommend
Verification Approach of Metropolis Design Framework for Embedded Systems
By Chen Xi,Hsieh Harry,Balarin Felice in (2006)
International Journal of Parallel Programming,volume 34,issue 1 , Vol. 34, Iss. 1, 2006-03 , pp.Verification of System Level Model Transformations
By Abdi Samar,Gajski Daniel in (2006)
International Journal of Parallel Programming,volume 34,issue 1 , Vol. 34, Iss. 1, 2006-03 , pp.Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions
By Currie David,Feng Xiushan,Fujita Masahiro,Hu Alan,Kwan Mark,Rajan Sreeranga in (2006)
International Journal of Parallel Programming,volume 34,issue 1 , Vol. 34, Iss. 1, 2006-03 , pp.Efficient Techniques for Automatic Verification-Oriented Test Set Optimization
By Sánchez Ernesto,Reorda Matteo,Squillero Giovanni in (2006)
International Journal of Parallel Programming,volume 34,issue 1 , Vol. 34, Iss. 1, 2006-03 , pp.