Search

Your search keyword '"Graics, Bence"' showing total 20 results

Search Constraints

Start Over You searched for: Author "Graics, Bence" Remove constraint Author: "Graics, Bence"
20 results on '"Graics, Bence"'

Search Results

1. Model-Based Testing of Asynchronously Communicating Distributed Controllers

3. Simulation-based Safety Assessment of High-level Reliability Models

5. Contract-Based Specification and Test Generation for Adaptive Systems

9. Model Checking as a Service: Towards Pragmatic Hidden Formal Methods

13. Supplementary Material to the Pragmatic Verification and Validation of Industrial Executable SysML Models

15. Model checking as a service

17. Formal Compositional Semantics for Yakindu Statecharts

19. The Gamma statechart composition framework.

Catalog

Books, media, physical & digital resources