Period of time： 2014年2期
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 26,issue 2
Menu
By Boiten Eerke,Derrick John,Reeves Steve in (2014)
Formal Aspects of Computing,volume 26,issue 2 , Vol. 26, Iss. 2, 2014-03 , pp.
Access to resources
Recommend
By Petre Luigia,Troubitsyna Elena,Waldén Marina in (2014)
Formal Aspects of Computing,volume 26,issue 2 , Vol. 26, Iss. 2, 2014-03 , pp.Discovery of invariants through automated theory formation
By Llano Maria,Ireland Andrew,Pease Alison in (2014)
Formal Aspects of Computing,volume 26,issue 2 , Vol. 26, Iss. 2, 2014-03 , pp.The behavioural semantics of Event-B refinement
By Schneider Steve,Treharne Helen,Wehrheim Heike in (2014)
Formal Aspects of Computing,volume 26,issue 2 , Vol. 26, Iss. 2, 2014-03 , pp.Derivation of concurrent programs by stepwise scheduling of Event-B models
By Boström Pontus,Degerlund Fredrik,Sere Kaisa,Waldén Marina in (2014)
Formal Aspects of Computing,volume 26,issue 2 , Vol. 26, Iss. 2, 2014-03 , pp.Introducing extra operations in refinement
Formal Aspects of Computing,volume 26,issue 2 , Vol. 26, Iss. 2, 2014-03 , pp.By Banach Richard,Zhu Huibiao,Su Wen,Huang Runlei in (2014)
Formal Aspects of Computing,volume 26,issue 2 , Vol. 26, Iss. 2, 2014-03 , pp.Refinement-based verification of implementations of Stateflow charts
By Miyazawa Alvaro,Cavalcanti Ana in (2014)
Formal Aspects of Computing,volume 26,issue 2 , Vol. 26, Iss. 2, 2014-03 , pp.Relational concurrent refinement part III: traces, partial relations and automata
By Derrick John,Boiten Eerke in (2014)
Formal Aspects of Computing,volume 26,issue 2 , Vol. 26, Iss. 2, 2014-03 , pp.