
Verkehr / Safety Analysis & Verification
Schuler EG 4
+49 441 9722-450
christoph.laesche [ A T ]
offis.de
Proceedings of Summer Computer Simulation Conference 2012 (SCSC 2012)
Summer Computer Simulation Conference 2012 (SCSC 2012)
Puch, Stefan; Fränzle, Martin; Osterloh, Jan-Patrick; Läsche, Christoph
2012
Formal Methods for Industrial Critical Systems
FMICS 2012
Droste, Rainer; Läsche, Christoph; Sobiech, Cilli; Böde, Eckard; Hahn Axel
2012
Computer Safety, Reliability, and Security
SAFECOMP
Läsche, Christoph; Böde, Eckard; Peikenkamp, Thomas
2012