Publisher： Springer Publishing Company
Founded in： 1989
Total resources： 7
E-ISSN： 1433-299X
ISSN： 0934-5043
Subject： TP3 Computers
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
Menu
By Boiten Eerke,Derrick John,Reeves Steve in (2014)
Formal Aspects of Computing , Vol. 26, Iss. 2, 2014-03 , pp.
Access to resources
Recommend
Relational concurrent refinement part III: traces, partial relations and automata
By Derrick John,Boiten Eerke in (2014)
Formal Aspects of Computing , Vol. 26, Iss. 2, 2014-03 , pp.By Petre Luigia,Troubitsyna Elena,Waldén Marina in (2014)
Formal Aspects of Computing , 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 , 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 , Vol. 26, Iss. 2, 2014-03 , pp.By Banach Richard,Zhu Huibiao,Su Wen,Huang Runlei in (2014)
Formal Aspects of Computing , Vol. 26, Iss. 2, 2014-03 , pp.Introducing extra operations in refinement
Formal Aspects of Computing , 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 , 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 , Vol. 26, Iss. 2, 2014-03 , pp.Reasoning about orchestrations of web services using partial correctness
By Stewart Alan,Gabarro Joaquim,Keenan Anthony in (2013)
Formal Aspects of Computing , Vol. 25, Iss. 6, 2013-11 , pp.
Previous
Next