Period of time： 2013年1期
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 30,issue 1
Menu
By Heitmeyer Constance,Talpin Jean-Pierre in (2007)
Formal Methods in System Design,volume 30,issue 1 , Vol. 30, Iss. 1, 2007-02 , pp.
Access to resources
Recommend
Verification of SpecC using predicate abstraction
By Clarke Edmund,Jain Himanshu,Kroening Daniel in (2007)
Formal Methods in System Design,volume 30,issue 1 , Vol. 30, Iss. 1, 2007-02 , pp.Static priority scheduling of event-triggered real-time embedded systems
By Erbas Cagkan,Pimentel Andy,Cerav-Erbas Selin in (2007)
Formal Methods in System Design,volume 30,issue 1 , Vol. 30, Iss. 1, 2007-02 , pp.Static priority scheduling of event-triggered real-time embedded systems
By Erbas Cagkan,Pimentel Andy,Cerav-Erbas Selin in (2007)
Formal Methods in System Design,volume 30,issue 1 , Vol. 30, Iss. 1, 2007-02 , pp.Bounded model checking of infinite state systems
By Schuele Tobias,Schneider Klaus in (2007)
Formal Methods in System Design,volume 30,issue 1 , Vol. 30, Iss. 1, 2007-02 , pp.