Login / Signup
Kristian Hede
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Temporal Logic
Formal Verification
Model Checker
Transition Systems
Top Venues
From Software Engineering to Formal Methods and Tools, and Back
</>
Publications
</>
Anne E. Haxthausen
,
Kristian Hede
Formal Verification of Railway Timetables - Using the UPPAAL Model Checker.
From Software Engineering to Formal Methods and Tools, and Back
(2019)