Search Results for - Narrowed by: Najm, Elie. editor. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dAUTHOR$002509Author$002509Najm$00252C$002bElie.$002beditor.$002509Najm$00252C$002bElie.$002beditor.$0026te$003dILS$0026rt$003dfalse$00257C$00257C$00257CISBN$00257C$00257C$00257CISBN$0026ps$003d300? 2024-09-14T02:07:29Z SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings ent://SD_ILS/0/SD_ILS:187328 2024-09-14T02:07:29Z 2024-09-14T02:07:29Z Author&#160;Gaudin, Emmanuel. editor.&#160;Najm, Elie. editor.&#160;Reed, Rick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74984-4">http://dx.doi.org/10.1007/978-3-540-74984-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184890 2024-09-14T02:07:29Z 2024-09-14T02:07:29Z Author&#160;Najm, Elie. editor.&#160;Pradat-Peyre, Jean-Fran&ccedil;ois. editor.&#160;Donzeau-Gouge, V&eacute;ronique Vigui&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11888116">http://dx.doi.org/10.1007/11888116</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>