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