Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Supporting Reuse in Event B Development: Modularisation Approach

201057 citationsBook Chapter

Authors

Alexei Iliasov · Newcastle University

Elena Troubitsynå · Åbo Akademi University

Linas Laibinis · Åbo Akademi University

Alexander Romanovsky · Newcastle University

Kimmo Varpaaniemi · Space Systems Finland (Finland)

Dubravka Ilić · Space Systems Finland (Finland)

Timo Latvala ·

Topics & Keywords

Advanced Software Engineering Methodologies Real-Time Systems Scheduling Distributed systems and fault tolerance

UN Sustainable Development Goals

Industry, innovation and infrastructure

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/978-3-642-11811-1_14

Field-Weighted Citation Impact: 5.10

Supporting Reuse in Event B Development: Modularisation Approach | Researchclopedia

Space Systems Finland (Finland)