Applying Atomicity and Model Decomposition to a Space Craft System in Event-B

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-20398-5_24
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Decomposition Structures for Event-B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

A Type and Effect System for Atomicity

ACM SIGPLAN Notices
2003English

How Event Managers Lead: Applying Competency School Theory to Event Management

Event Management
Hospitality ManagementBusinessMarketingInternational ManagementLeisureTourism
2017English

Applying Model Checking to Destructive Testing and Analysis of Software System

Journal of Software
2013English

Surface Finishing in Thermal Control of Space Craft

Journal of The Surface Finishing Society of Japan
2015English

Applying Kinodynamic Randomized Motion Planning With a Dynamic Priority System to Multi-Robot Space Systems

English

Applying Discrete Event Simulation (DES) in Healthcare

International Journal of Healthcare Information Systems and Informatics
MedicineInformation SystemsManagement
2013English

E/B Decomposition of CMB Polarization Pattern of Incomplete Sky: A Pixel Space Approach

Astronomy and Astrophysics
AstrophysicsAstronomyPlanetary ScienceSpace
2010English

Causal Atomicity

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy