Formale Verifikation in der Fertigungsautomatisierung (Projektabschnitt B1)

Third party funded individual grant


Start date : 15.04.2019

End date : 14.04.2020

close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Compositional Verification of Non-Blockingness with Prioritised Events (2022) Tang Y, Moor T Conference contribution Compositional Verification of Finite Automata under Event Preemption (2021) Tang Y, Moor T Conference contribution