Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-CheckingMarc DiefenbruchÉpuisé4,3Prévenez-moi
