Period of time: 2014年5期
Publisher: Springer Publishing Company
Founded in: 1989
Total resources: 7
ISSN: 0934-5043
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 Aspects of Computing,volume 23,issue 5
Menu
Assuring property conformance of code generators via model checking
Formal Aspects of Computing,volume 23,issue 5 , Vol. 23, Iss. 5, 2011-09 , pp.Building a push-button RESOLVE verifier: Progress and challenges
Formal Aspects of Computing,volume 23,issue 5 , Vol. 23, Iss. 5, 2011-09 , pp.A model checking-based approach for security policy verification of mobile systems
Formal Aspects of Computing,volume 23,issue 5 , Vol. 23, Iss. 5, 2011-09 , pp.Verification of distributed systems with local-global predicates
Formal Aspects of Computing,volume 23,issue 5 , Vol. 23, Iss. 5, 2011-09 , pp.