Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by M.R. Poppleton
Timing Diagrams Requirements Modeling Using Event-B Formal Methods
Retrenchment: Extending Refinement for Continuous and Control Systems
Related publications
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
