Amanote Research
Register
Sign In
Timing Diagrams Requirements Modeling Using Event-B Formal Methods
doi 10.2316/p.2010.677-028
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2010
Authors
T. Joochim
C.F. Snook
M.R. Poppleton
A.M. Gravell
Publisher
ACTAPRESS
Related search
Guidelines for Formal Domain Modeling in Event-B
Formal Development of Basic Timestamp Concurrency Control Mechanism Using Event-B
International Journal of Computer Applications
Formal Methods in Requirements Phase of SDLC
International Journal of Computer Applications
Modeling Control Flow of Event-B Using State Transition System
Security Architectures Using Formal Methods
IEEE Journal on Selected Areas in Communications
Computer Networks
Electronic Engineering
Electrical
Communications
Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns
reqT.org – Towards a Semi-Formal, Open and Scalable Requirements Modeling Tool
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Ontology Modeling of UBL Process Diagrams Using OWL
Modeling Legislation by Using UML State Machine Diagrams
