Jan Peleska

Available identifiers

zbMath Open peleska.janMaRDI QIDQ520245

List of research outcomes

Publication	Date of Publication	Type
An optimised complete strategy for testing symbolic finite state machines	2024-05-03	Paper
Exhaustive property oriented model-based testing with symbolic finite state machines	2023-05-26	Paper
Efficient data validation for geographical interlocking systems	2022-01-11	Paper
Complete model-based equivalence class testing for nondeterministic systems	2017-04-03	Paper
CSP and Kripke Structures	2016-02-25	Paper
Translating Testing Theories for Concurrent Systems	2015-11-04	Paper
A formal approach for the construction and verification of railway control systems	2011-05-27	Paper
Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules	2010-03-09	Paper
A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems	2008-09-25	Paper
Communicating Sequential Processes. The First 25 Years	2005-11-29	Paper
Design and verification of fault tolerant systems with CSP	1992-06-25	Paper
A characterization for isometries and conformal mappings of pseudo- Riemannian manifolds	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3326377	1982-01-01	Paper

Research outcomes over time

This page was built for person: Jan Peleska