Results
|
41.
|
|
|
42.
|
|
|
43.
|
|
|
44.
|
|
|
45.
|
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings / by Series: Programming and Software Engineering ; 10598
Edition: 1st ed. 2017.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|
|
46.
|
|
|
47.
|
|
|
48.
|
|
|
49.
|
|
|
50.
|
|
|
51.
|
|
|
52.
|
|
|
53.
|
|
|
54.
|
|
|
55.
|
|
|
56.
|
|
|
57.
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers / by Series: Programming and Software Engineering ; 10729
Edition: 1st ed. 2018.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018
In:
Springer Nature eBook
Availability: No items available.
|
|
58.
|
|
|
59.
|
|
|
60.
|
|