Peter Battram

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 0

Top Topics

Intermediate Representation

Test Case Generation

Top Venues

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)