Oleg Sokolsky
AuthID: R-006-PT5
1
TÃTULO: Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS
AUTORES: Paolo Masci ; Anaheed Ayoub; Paul Curzon; Insup Lee; Oleg Sokolsky; Harold W. Thimbleby;
PUBLICAÇÃO: 2013, FONTE: 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013 in Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings, VOLUME: 8153
AUTORES: Paolo Masci ; Anaheed Ayoub; Paul Curzon; Insup Lee; Oleg Sokolsky; Harold W. Thimbleby;
PUBLICAÇÃO: 2013, FONTE: 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013 in Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings, VOLUME: 8153
2
TÃTULO: A Compositional Scheduling Framework for Digital Avionics Systems
AUTORES: Arvind Easwaran; Insup Lee; Oleg Sokolsky; Steve Vestal;
PUBLICAÇÃO: 2009, FONTE: 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications in 2009 15TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS
AUTORES: Arvind Easwaran; Insup Lee; Oleg Sokolsky; Steve Vestal;
PUBLICAÇÃO: 2009, FONTE: 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications in 2009 15TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS
