Your search returned 2 results.

Results
	1.	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings / by Lecomte, Thierry [editor.] Pinger, Ralf [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9707 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Formal Methods for Industrial Critical Systems [electronic resource] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings / by Stoelinga, Mariëlle [editor.] Pinger, Ralf [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7437 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search