Research output

1. Testing Equivalences of Time Petri Nets

   Research output: Contribution to journal › Article › peer-review

2. Causality-Based Testing in Time Petri Nets

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

3. From event-oriented models to transition systems

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

View all (5) »