(1 - 9 von 9
)
7. SafeTRANS Industrial Day
www.safetrans-de.org
· Dr. Ralf Pinger, Siemens AG. Abstractkeyboard_arrow_down. Die Entwicklung von Sicherungssystemen für Eisenbahnen ist sehr stark durch interdisziplinäre Zusammenarbeit geprägt. Vor allem die Erstellung von Software ist hängt von der Kommunikation zwischen Eisenbahn-Experten und Software-Entwicklungs-Experten ab. Um die Problemstellungen ...
Accepted Papers | RSSRail | Newcastle University
conferences.ncl.ac.uk
Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen and Ralf Pinger. Interlocking Formal Verification at Alstom Signalling. Camille Parillaud, Yoann Fonteneau ...
Eine Herausforderung für die Softwareentwicklung
rg-braunschweig.gi.de
Beschreibung. Thema: Entwicklung von Bahnautomatisierungssystemen: Eine Herausforderung für die Softwareentwicklung. Referent: Dr. Ralf Pinger Siemens AG › veranstaltung › entwickl...
FMICS-AVoCS 2016: Formal Methods for Industrial Critical Systems and...
resources.illc.uva.nl
... Belgium) Marielle Petit-Doche (Systerel, Aix-en-Provence, France) Ralf Pinger (Siemens AG, Braunschweig, Germany) Jaco van de Pol (University of Twente, ...
FMICS programme
fmics.inria.fr
chair: Ralf Pinger. Vlad Popa and Wolfgang Schwitzer Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive ...
Programme; RSSRail 2016; Newcastle University
conferences.ncl.ac.uk
methodology and lessons learned Coffee break. Session: Security. Chair: Ralf Pinger Joeri de Ruiter, Richard J Thomas & Tom Chothia (University ...
Selected Scientific Events
convecs.inria.fr
PC Chairs: Ralf Pinger and Marielle Stoelinga. Invited talk by Hubert Garavel. FOCLASA'2012 (11th International Workshop on Foundations of ...
17th International Workshop on Formal ERCIM News
ercim-news.ercim.eu
— The workshop was chaired by Marielle Stoelinga (University of Twente, The Netherlands) and Ralf Pinger (Siemens AG, Germany). › jea
FMICS Fmics2013/Programme Committeelvl.info.ucl.ac.be › Fmics2013 › ProgrammeCommit...
lvl.info.ucl.ac.be
· ... USA); Jan Peleska (Universität Bremen, Germany); Ralf Pinger (Siemens AG, Germany); Andreas Podelski (University of Freiburg, Germany) ...
sortiert nach Relevanz / Datum