Extended Future in Testing Semantics for Time Petri Nets

von Bozhenkova, Elena
Veröffentlicht in International Workshop on Concurrency, Specification and Programming (29. : 2021 : Berlin; Online) Concurrency, specification and programming (2023)

Causality-Based Testing in Time Petri Nets

von Bozhenkova, Elena
Veröffentlicht in International Andrei P. Ershov Informatics Conference (12. : 2019 : Nowosibirsk) Perspectives of system informatics (2019)