Augmenting Event-B modelling with real-time verification

Alexei Iliasov; Alexander Romanovsky; Linas Laibinis; Elena Troubitsyna; Timo Latvala

doi:10.1109/FormSERA.2012.6229789

Previous
Next
Table of Contents
Related Articles

2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA 2012)

Augmenting Event-B modelling with real-time verification

Year: 2012, Pages: 51-57

DOI Bookmark: 10.1109/FormSERA.2012.6229789

Authors

Alexei Iliasov, Newcastle University, Newcastle Upon Tyne, UK
Alexander Romanovsky, Newcastle University, Newcastle Upon Tyne, UK
Linas Laibinis, Åbo Akademi University, Turku, Finland
Elena Troubitsyna, Åbo Akademi University, Turku, Finland
Timo Latvala, Space Systems Finland, Espoo, Finland

Augmenting Event-B modelling with real-time verification

Authors

Abstract