Zoeken

U zocht naar: Auteur Pinger, Ralf Filter Auteur: Pinger, Ralf weghalen Taal Engels Filter Taal: Engels weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
thumbnail
Full text!
Auteur:
Thierry Lecomte, Ralf Pinger, Alexander Romanovsky; Pinger, Ralf; Romanovsky, Alexander
Uitgever:
Springer International Publishing 2016
Type:
e-book
2. Formal Methods for Industrial Critical Systems
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Pinger, Ralf; Stoelinga, Mariëlle
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book