Search Results for System safety. - Narrowed by: 2015 - Simulation and Modeling. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dSystem$002bsafety.$0026qf$003dPUBDATE$002509Bas$0025C4$0025B1m$002bY$0025C4$0025B1l$0025C4$0025B1$0025092015$0025092015$0026qf$003dSUBJECT$002509Konu$002509Simulation$002band$002bModeling.$002509Simulation$002band$002bModeling.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue? 2024-07-16T13:24:57Z Railway Infrastructure Security ent://SD_ILS/0/SD_ILS:20475 2024-07-16T13:24:57Z 2024-07-16T13:24:57Z Yazar&#160;Setola, Roberto. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04426-2">http://dx.doi.org/10.1007/978-3-319-04426-2</a><br/>Format:&#160;Electronic Resources<br/> Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 ent://SD_ILS/0/SD_ILS:24363 2024-07-16T13:24:57Z 2024-07-16T13:24:57Z Yazar&#160;Drechsler, Rolf. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-658-09994-7">http://dx.doi.org/10.1007/978-3-658-09994-7</a><br/>Format:&#160;Electronic Resources<br/>