Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andreas Griesmayer
Conformance Testing of Distributed Concurrent Systems With Executable Designs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Conformance Relations for Distributed Testing Based on CSP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Executable Semantics for Conformance in the MDE Framework
Innovations in Systems and Software Engineering
Software
Verification and Testing of Concurrent Systems With Action Races
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Distributed Security Policy Conformance
Computers and Security
Law
Computer Science
Distributed Testing of Multicomponent Systems
Model-Based Testing for Concurrent Systems With Labelled Event Structures
Software Testing Verification and Reliability
Media Technology
Risk
Reliability
Safety
Quality
Software
Conformance Testing Trials on ERMES Receivers
Concurrent and Distributed Applications With ActoDeS
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
Concurrent Exception Handling and Resolution in Distributed Object Systems
IEEE Transactions on Parallel and Distributed Systems
Hardware
Computational Theory
Signal Processing
Architecture
Mathematics
