(1 - 10 from 10
)
DBLife: Ralf Pinger News Archive
dblife.cs.wisc.edu
Return to Ralf Pinger's Superhomepage. No news available. DBlife. Developed by the Database Group at the University of Wisconsin and Yahoo! Research.
FMICS Fmics2013/Programme Committee
lvl.info.ucl.ac.be
... USA); Jan Peleska (Universität Bremen, Germany); Ralf Pinger (Siemens AG, Germany); Andreas Podelski (University of Freiburg, Germany) ...
Programme; RSSRail 2016; Newcastle University
conferences.ncl.ac.uk
Chair: Ralf Pinger Joeri de Ruiter, Richard J Thomas & Tom Chothia (University of Birmingham, UK). Formal Security Analysis of ERTMS train to ... › RSSRail 2016
sorted by relevance / date