Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mehdi Jazayeri
Composing Specifications of Event Based Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
User-Oriented Rule Management for Event-Based Applications
Supervisory Control of Discrete Event Systems With CTL* Temporal Logic Specifications
SIAM Journal on Control and Optimization
Control
Applied Mathematics
Optimization
Web-Based Diagnosis of Model Specifications
Exploring Property Based Aluminum Specifications
Semantically Configurable Analysis of Scenario-Based Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns
Predictive Resource Allocation in the LTE Uplink for Event Based M2M Applications
An Analysis of Notification Related Specifications for Web/Grid Applications
Test Generation Based on Symbolic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
