Foundations for using linear temporal logic in Event-B refinement | springerprofessional.de

Springer Professional

nach oben

Formal Aspects of Computing

Erschienen in:

Open Access 01.11.2016 | Original Article

Foundations for using linear temporal logic in Event-B refinement

verfasst von: Thai Son Hoang, Steve Schneider, Helen Treharne, David M. Williams

Erschienen in: Formal Aspects of Computing | Ausgabe 6/2016

Nächster Artikel Rigorous development of component-based systems using component metadata and patterns

Titel: Foundations for using linear temporal logic in Event-B refinement
verfasst von: Thai Son Hoang
Steve Schneider
Helen Treharne
David M. Williams
Publikationsdatum: 01.11.2016
Verlag: Springer London
Erschienen in: Formal Aspects of Computing / Ausgabe 6/2016
Print ISSN: 0934-5043
Elektronische ISSN: 1433-299X
DOI: https://doi.org/10.1007/s00165-016-0376-0

Premium Partner