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 42,issue 2
Menu
An extension of the inverse method to probabilistic timed automata
Formal Methods in System Design,volume 42,issue 2 , Vol. 42, Iss. 2, 2013-04 , pp.Code aware resource management
By Chatterjee Krishnendu in (2013)
Formal Methods in System Design,volume 42,issue 2 , Vol. 42, Iss. 2, 2013-04 , pp.An approximation algorithm for box abstraction of transition systems on real state spaces
By Hiraishi Kunihiko in (2013)
Formal Methods in System Design,volume 42,issue 2 , Vol. 42, Iss. 2, 2013-04 , pp.Weighted modal transition systems
By Bauer Sebastian,Fahrenberg Uli,Juhl Line,Larsen Kim,Legay Axel,Thrane Claus in (2013)
Formal Methods in System Design,volume 42,issue 2 , Vol. 42, Iss. 2, 2013-04 , pp.