Period of time： 2013年3期
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 28,issue 3
Menu
Coverage metrics for temporal logic model checking*
By Chockler Hana,Kupferman Orna,Vardi Moshe in (2006)
Formal Methods in System Design,volume 28,issue 3 , Vol. 28, Iss. 3, 2006-05 , pp.
Access to resources
Recommend
Feature interaction detection by pairwise analysis of LTL properties—A case study
By Calder Muffy,Miller Alice in (2006)
Formal Methods in System Design,volume 28,issue 3 , Vol. 28, Iss. 3, 2006-05 , pp.Optimistic synchronization-based state-space reduction
By Stoller Scott,Cohen Ernie in (2006)
Formal Methods in System Design,volume 28,issue 3 , Vol. 28, Iss. 3, 2006-05 , pp.