Connections the quarterly journal

Search form

  • Like Connections page on Facebook
  • Follow us on Twitter
  • Find connections on Istagram
  • Connect with us on LinkedIN
  • Subscribe to Connections RSS
  • English
  • Русский
  • Journal
    • Previews
    • Archive
    • Top papers
    • Athena Award
  • Submissions
    • Guidelines
    • Copyright information
    • Conflict of interest
    • Ethics in publishing
    • Themes
    • Calls for articles
    • Submit a paper
  • About
    • Mission
    • Editorial policy
    • Disclaimer
    • Editorial Board
    • Advisers
    • Author Index
    • Indexing & Archiving
    • Contact Us
    • Privacy policy
Share/Save

Developing Mode-Rich Satellite Software by Refinement in Event-B

Publication Type:

Book Chapter

Authors:

Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander Romanovsky; Kimmo Varpaaniemi; Dubravka Ilic; Timo Latvala

Source:

Formal Methods for Industrial Critical Systems, FMICS 2010, Springer (2010)
  • 8559 reads
  • Google Scholar
  • DOI
  • RTF
  • EndNote XML

Active calls for articles

Russia at War: Strategic Competition, Confrontation, and Conflict

Deadline:
15.12.2024

Democratic Backsliding and Security Governance

Deadline:
23.11.2024

Check also our Google Scholar profile

  • Downloads
  • Cited in
  • How to cite
No files have yet been downloaded.
Pomorova, Oksana, and Sergii Lysenko. "Formal and Intelligent Methods for Security and Resilience: Education and Training Issues." Information & Security: An International Journal 35, no. 2 (2016): 133-150.
APA style: Iliasov, A., Troubitsyna E., Laibinis L., Romanovsky A., Varpaaniemi K., Ilic D., et al. (2010).  Developing Mode-Rich Satellite Software by Refinement in Event-B. Formal Methods for Industrial Critical Systems, FMICS 2010.
Chicago style: Iliasov, Alexei, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, and Timo Latvala. "Developing Mode-Rich Satellite Software by Refinement in Event-B." In Formal Methods for Industrial Critical Systems, FMICS 2010. Springer, 2010.
IEEE style: Iliasov, A., E. Troubitsyna, L. Laibinis, A. Romanovsky, K. Varpaaniemi, D. Ilic, and T. Latvala, "Developing Mode-Rich Satellite Software by Refinement in Event-B", Formal Methods for Industrial Critical Systems, FMICS 2010: Springer, 2010.
DOI https://doi.org/10.1007/978-3-642-15898-8_4
  • Trending
  • Latest
  • Most cited
  • Growing Apart: The Impact of the Russian War in Ukraine on the Former Soviet Space (2,555)
  • The Critical Black Sea Zone (1,603)
  • Polyakh and Others v. Ukraine: The Latest Standards of Applicability of Article 8 of the European Convention of Human Rights in Lustration Cases (1,100)
  • Military-Economic Capabilities of Ukraine During the Transformation (1,060)
  • Declaration of the Russian State as a State Sponsor of Terrorism: Pros, Cons, and Realities (1,057)
view all
  • Prospects for EAEU Members' Cooperation with Crimea Following Its Disputed Accession to the Russian Federation
  • Murky Tides: Improving NATO's Defensive Posture in the Black Sea Basin
  • A Divided Arctic: Is an Ice Curtain Emerging?
  • Goodbye Globalization? Hello 'Fragmentegration'! - The World Economy and Strategic Competition
  • Hybrid Threats and Strategic Competition
view all
Introduction to Program-based Defense Resource Management (8)
The Art of Shaping Defense Policy: Scope, Components, Relationships (but no Algorithms) (6)
NATO and the South Caucasus: Armenia, Azerbaijan, and Georgia on Different Tracks (5)
Terror-Crime Nexus? Terrorism and Arms, Drug, and Human Trafficking in Georgia (4)
Terrorist Routes in Central Asia: Trafficking Drugs, Humans, and Weapons (4)
view all

© Partnership for Peace Consortium of Defense Academies and Security Studies Institutes, 2012-2024
This site was designed and is maintained by Procon Ltd., Executive publisher of Connections: The Quarterly Journal