Publications

Model-Based Development of the Generic Pca Infusion Pump User Interface Prototype in Pvs

AuthID
P-00K-KK4

Author(s)

Masci, Paolo

Ayoub, Anaheed

Curzon, Paul

Lee, Insup

Sokolsky, Oleg

Thimbleby, HaroldW.

Editor(s)

Friedemann Bitsch; Jérémie Guiochet; Mohamed Kaâniche

Document Type

Proceedings Paper

Year published

2013

Published

in Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 8153, Pages: 228-240

Conference

32Nd International Conference on Computer Safety, Reliability, and Security, Safecomp 2013, Date: 24 September 2013 through 27 September 2013, Location: Toulouse, Sponsors: (EWICS) Reliability, Safety and Security;(LAAS-CNRS), Carnot Institute;Centre National de la Recherche Scientifique (CNRS);International Federation for Information Processing (IFIP);Universite Paul Sabatier

Indexing