Rudolf Schlatte

Available identifiers

zbMath Open schlatte.rudolfMaRDI QIDQ478389

List of research outcomes

Publication	Date of Publication	Type
Global Reproducibility Through Local Control for Distributed Active Objects	2022-10-13	Paper
Integrating deployment architectures and resource consumption in timed object-oriented models	2014-12-03	Paper
Validating Timed Models of Deployment Components with Parametric Concurrency	2011-01-21	Paper
Model-checking user behaviour using interacting components	2010-01-04	Paper
Testing Concurrent Objects with Application-Specific Schedulers	2009-01-27	Paper

Research outcomes over time

This page was built for person: Rudolf Schlatte