Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Chris A. Vissers
Specification Styles in Distributed Systems Design and Verification
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Reference Models for Advanced E-Services
Related publications
Specification Languages for Distributed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tool Supported Specification and Simulation of Distributed Systems
Formal Specification and Verification
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
Formal Specification and Verification of CRDTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Specification and Design Methodology for Real-Time Embedded Systems
Parameter Estimation in Distributed Systems: Optimal Design
Eurasian Journal of Mathematical and Computer Applications
Information Systems
Applied Mathematics
Simulation
Computer Science Applications
Modeling
Mathematical Physics
Computational Mathematics
