External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Augmenting Event-B modelling with real-time verification

Alexei Iliasov, Alexander Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala. Augmenting Event-B modelling with real-time verification. In Stefania Gnesi, Stefan Gruner, Nico Plat, Bernhard Rumpe, editors, Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012. pages 51-57, IEEE, 2012. [doi]

Authors

Alexei Iliasov

This author has not been identified. Look up 'Alexei Iliasov' in Google

Alexander Romanovsky

This author has not been identified. Look up 'Alexander Romanovsky' in Google

Linas Laibinis

This author has not been identified. Look up 'Linas Laibinis' in Google

Elena Troubitsyna

This author has not been identified. Look up 'Elena Troubitsyna' in Google

Timo Latvala

This author has not been identified. Look up 'Timo Latvala' in Google
runs on