Search Results for -- ABD. - Narrowed by: Computer simulation. - Medical records -- Data processing. - Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d--$002bABD.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026qf$003dSUBJECT$002509Subject$002509Medical$002brecords$002b--$002bData$002bprocessing.$002509Medical$002brecords$002b--$002bData$002bprocessing.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?2024-08-31T17:24:13ZUsing Event-B for Critical Device Software Systemsent://SD_ILS/0/SD_ILS:3311812024-08-31T17:24:13Z2024-08-31T17:24:13ZAuthor Singh, Neeraj Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331181.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3347272024-08-31T17:24:13Z2024-08-31T17:24:13ZAuthor Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334727.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39088-3">http://dx.doi.org/10.1007/978-3-642-39088-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>