Formale Analyse des Zeitverhaltens Netzbasierter Automatisierungssysteme

Beschreibung

Autor*in

Jürgen Greifeneder

Themen in »Formale Analyse des Zeitverhaltens Netzbasierter Automatisierungssysteme«

Antwortzeiten Beschreibungssprache DesLaNAS Netzbasierte Automatisierungssysteme Stochastische zeitbewertete Automaten Wahrscheinlichkeitsbasierte Modellverifikation

Stimmen zu »Formale Analyse des Zeitverhaltens Netzbasierter Automatisierungssysteme«

Details

Link teilen