Design Methods for Reactive Systems More Books Like This

Dynamic Modelling of Information Systems Dynamic Modelling of Information Systems
Dynamic Modelling of Information Systems
2014
Behavior Modeling -- Foundations and Applications Behavior Modeling -- Foundations and Applications
Behavior Modeling -- Foundations and Applications
2015
Engineering Trustworthy Software Systems Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
2016
Web Services and Formal Methods Web Services and Formal Methods
Web Services and Formal Methods
2014
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2014
Interactive Modeling and Simulation in Business System Design Interactive Modeling and Simulation in Business System Design
Interactive Modeling and Simulation in Business System Design
2016
Methods, Models and Tools for Fault Tolerance Methods, Models and Tools for Fault Tolerance
Methods, Models and Tools for Fault Tolerance
2009
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2014
Web Services, Formal Methods, and Behavioral Types Web Services, Formal Methods, and Behavioral Types
Web Services, Formal Methods, and Behavioral Types
2016
Interactive Computation Interactive Computation
Interactive Computation
2006
Formal Methods for Web Services Formal Methods for Web Services
Formal Methods for Web Services
2009
Transactions on Petri Nets and Other Models of Concurrency II Transactions on Petri Nets and Other Models of Concurrency II
Transactions on Petri Nets and Other Models of Concurrency II
2009
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2017
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2019
Object-Oriented Technology and Computing Systems Re-Engineering Object-Oriented Technology and Computing Systems Re-Engineering
Object-Oriented Technology and Computing Systems Re-Engineering
1999