Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese
Loading...
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Alternative Title(s)
Abstract
Description
Table of contents
Keywords
Model-Checking, Fehlerdiagnose, Strategie-Synthese, Fixpunkt, mu-Kalkül