The behavioural semantics of Event-B refinement

Author： Schneider Steve   Treharne Helen   Wehrheim Heike  

Publisher： Springer Publishing Company

ISSN： 0934-5043

Source： Formal Aspects of Computing, Vol.26, Iss.2, 2014-03, pp. : 251-280

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

On the purpose of Event-B proof obligations

By Hallerstede Stefan  

Formal Aspects of Computing, Vol. 23, Iss. 1, 2011-01 ,pp. : 133-150

Springer Publishing Company

Access to resources Recommend Favorite

Using Event-B to construct instruction set architectures

By Wright Stephen  

Formal Aspects of Computing, Vol. 23, Iss. 1, 2011-01 ,pp. : 73-89

Springer Publishing Company

Access to resources Recommend Favorite

Retrenchment for Event-B: UseCase-wise development and Rodin integration

By Banach Richard  

Formal Aspects of Computing, Vol. 23, Iss. 1, 2011-01 ,pp. : 113-131

Springer Publishing Company

Access to resources Recommend Favorite

Derivation of concurrent programs by stepwise scheduling of Event-B models

By Boström Pontus   Degerlund Fredrik   Sere Kaisa   Waldén Marina  

Formal Aspects of Computing, Vol. 26, Iss. 2, 2014-03 ,pp. : 281-303

Springer Publishing Company

Access to resources Recommend Favorite

Complex Event Refinement by Statistical Augmentation Model

By  

International Journal of Intelligent Information Technologies (IJIIT), Vol. 11, Iss. 2, 2015-04 ,pp. : 55-69

IGI Global_journal

Access to resources Recommend Favorite