The following pages link to Jan Peleska (Q520245):
Displaying 11 items.
- Complete model-based equivalence class testing for nondeterministic systems (Q520246) (← links)
- A formal approach for the construction and verification of railway control systems (Q539161) (← links)
- A characterization for isometries and conformal mappings of pseudo- Riemannian manifolds (Q793989) (← links)
- Design and verification of fault tolerant systems with CSP (Q1176076) (← links)
- Efficient data validation for geographical interlocking systems (Q2065531) (← links)
- CSP and Kripke Structures (Q2787446) (← links)
- (Q3326377) (← links)
- Translating Testing Theories for Concurrent Systems (Q3449629) (← links)
- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems (Q3526937) (← links)
- Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules (Q5187834) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709377) (← links)
