Period of time： 2014年4期
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 4
Menu
Access to resources
Recommend
A programming model for BSP with partitioned synchronisation
Formal Aspects of Computing,volume 23,issue 4 , Vol. 23, Iss. 4, 2011-07 , pp.An abstract model of service discovery and binding
Formal Aspects of Computing,volume 23,issue 4 , Vol. 23, Iss. 4, 2011-07 , pp.From control law diagrams to Ada via Circus
Formal Aspects of Computing,volume 23,issue 4 , Vol. 23, Iss. 4, 2011-07 , pp.Information gain of black-box testing
Formal Aspects of Computing,volume 23,issue 4 , Vol. 23, Iss. 4, 2011-07 , pp.CaPiTo: protocol stacks for services
Formal Aspects of Computing,volume 23,issue 4 , Vol. 23, Iss. 4, 2011-07 , pp.Thread algebra for poly-threading
Formal Aspects of Computing,volume 23,issue 4 , Vol. 23, Iss. 4, 2011-07 , pp.