Login / Signup
Simon Hordvik
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 2
Top Topics
Safety Analysis
Video Sequences
Transport Systems
Formal Specification
Top Venues
ENASE
ENASE (Selected Papers)
</>
Publications
</>
Simon Hordvik
,
Kristoffer Øseth
,
Henrik Heggelund Svendsen
,
Jan Olaf Blech
,
Peter Herrmann
Model-Based Engineering and Spatiotemporal Analysis of Transport Systems.
ENASE (Selected Papers)
(2016)
Simon Hordvik
,
Kristoffer Øseth
,
Jan Olaf Blech
,
Peter Herrmann
A Methodology for Model-based Development and Safety Analysis of Transport Systems.
ENASE
(2016)