A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL
-
Published:2021
Issue:
Volume:
Page:
-
ISSN:1556-5068
-
Container-title:SSRN Electronic Journal
-
language:en
-
Short-container-title:SSRN Journal
Author:
Vogel Thomas,Carwehl Marc,Rodrigues Genaína Nunes,Grunske Lars
Subject
General Earth and Planetary Sciences,General Environmental Science