Amanote Research
Register
Sign In
Guidelines for Formal Domain Modeling in Event-B
doi 10.1109/hase.2011.47
Full Text
Open PDF
Abstract
Available in
full text
Date
November 1, 2011
Authors
Atif Mashkoor
Jean-Pierre Jacquot
Publisher
IEEE
Related search
Timing Diagrams Requirements Modeling Using Event-B Formal Methods
Formal Development of Basic Timestamp Concurrency Control Mechanism Using Event-B
International Journal of Computer Applications
Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns
Formal Modeling and Verification for MVB
Journal of Applied Mathematics
Applied Mathematics
Modeling of Distributed File System in Big Data Storage by Event- B
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
Modeling Control Flow of Event-B Using State Transition System
Non-Formal Education Event Governance Strategies
International Journal of Synergy and Research
Formal Research of Event Ontology Elements
Decomposition Structures for Event-B
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
