(1 - 22 von 25
)
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, ...
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
sortiert nach Relevanz / Datum