Login / Signup
Peter Battram
Publication Activity (10 Years)
Years Active: 2013-2015
Publications (10 Years): 0
Top Topics
Intermediate Representation
Petri Net
Knn
Test Case Generation
Top Venues
FESCA
REFSQ Workshops
</>
Publications
</>
Peter Battram
,
Bernhard Kaiser
,
Raphael Weber
A Modular Safety Assurance Method considering Multi-Aspect Contracts during Cyber Physical System Design.
REFSQ Workshops
(2015)
Sven Sieverding
,
Christian Ellen
,
Peter Battram
Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets
FESCA
(2013)