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 34,issue 1
Menu
Safely composing security protocols
By Cortier Véronique,Delaune Stéphanie in (2009)
Formal Methods in System Design,volume 34,issue 1 , Vol. 34, Iss. 1, 2009-02 , pp.
Access to resources
Recommend
By Chockler Hana,Strichman Ofer in (2009)
Formal Methods in System Design,volume 34,issue 1 , Vol. 34, Iss. 1, 2009-02 , pp.Timed verification of the generic architecture of a memory circuit using parametric timed automata
By Chevallier Remy,Encrenaz-Tiphene Emmanuelle,Fribourg Laurent,Xu Weiwen in (2009)
Formal Methods in System Design,volume 34,issue 1 , Vol. 34, Iss. 1, 2009-02 , pp.