Period of time： 2013年2期
Publisher： Springer Publishing Company
Founded in： 1992
Total resources： 27
ISSN： 0925-9856
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.
Formal Methods in System Design,volume 35,issue 2
Menu
Decision problems for lower/upper bound parametric timed automata
By Bozzelli Laura,La Torre Salvatore in (2009)
Formal Methods in System Design,volume 35,issue 2 , Vol. 35, Iss. 2, 2009-10 , pp.
Access to resources
Recommend
Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
By Helmstetter C.,Maraninchi F.,Maillet-Contoz L. in (2009)
Formal Methods in System Design,volume 35,issue 2 , Vol. 35, Iss. 2, 2009-10 , pp.Automating the addition of fault tolerance with discrete controller synthesis
By Girault Alain,Rutten Éric in (2009)
Formal Methods in System Design,volume 35,issue 2 , Vol. 35, Iss. 2, 2009-10 , pp.