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 34,issue 2
Menu
By Kupferman Orna,Piterman Nir,Vardi Moshe in (2009)
Formal Methods in System Design,volume 34,issue 2 , Vol. 34, Iss. 2, 2009-04 , pp.Local proofs for global safety properties
By Cohen Ariel,Namjoshi Kedar in (2009)
Formal Methods in System Design,volume 34,issue 2 , Vol. 34, Iss. 2, 2009-04 , pp.Approximated parameterized verification of infinite-state processes with global conditions
By Abdulla Parosh,Delzanno Giorgio,Rezine Ahmed in (2009)
Formal Methods in System Design,volume 34,issue 2 , Vol. 34, Iss. 2, 2009-04 , pp.Hybrid systems: from verification to falsification by combining motion planning and discrete search
By Plaku Erion,Kavraki Lydia,Vardi Moshe in (2009)
Formal Methods in System Design,volume 34,issue 2 , Vol. 34, Iss. 2, 2009-04 , pp.Coverage-guided test generation for continuous and hybrid systems
By Dang Thao,Nahhal Tarik in (2009)
Formal Methods in System Design,volume 34,issue 2 , Vol. 34, Iss. 2, 2009-04 , pp.