Jan Peleska

Available identifiers

zbMath Open peleska.janMaRDI QIDQ520245

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jan Peleska