Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Asieh Salehi Fathabadi
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Decomposition Structures for Event-B
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Type and Effect System for Atomicity
ACM SIGPLAN Notices
How Event Managers Lead: Applying Competency School Theory to Event Management
Event Management
Hospitality Management
Business
Marketing
International Management
Leisure
Tourism
Applying Model Checking to Destructive Testing and Analysis of Software System
Journal of Software
Surface Finishing in Thermal Control of Space Craft
Journal of The Surface Finishing Society of Japan
Applying Kinodynamic Randomized Motion Planning With a Dynamic Priority System to Multi-Robot Space Systems
Applying Discrete Event Simulation (DES) in Healthcare
International Journal of Healthcare Information Systems and Informatics
Medicine
Information Systems
Management
E/B Decomposition of CMB Polarization Pattern of Incomplete Sky: A Pixel Space Approach
Astronomy and Astrophysics
Astrophysics
Astronomy
Planetary Science
Space
Causal Atomicity
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science