Search Results for Software. - Narrowed by: Computer simulation. - Medical records -- Data processing. - Simulation and Modeling.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026qf$003dSUBJECT$002509Subject$002509Medical$002brecords$002b--$002bData$002bprocessing.$002509Medical$002brecords$002b--$002bData$002bprocessing.$0026qf$003dSUBJECT$002509Subject$002509Simulation$002band$002bModeling.$002509Simulation$002band$002bModeling.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list2024-06-27T13:47:43ZUsing Event-B for Critical Device Software Systemsent://SD_ILS/0/SD_ILS:3311812024-06-27T13:47:43Z2024-06-27T13:47:43ZAuthor 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-06-27T13:47:43Z2024-06-27T13:47:43ZAuthor 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/>