posted by user: emil25 || 5092 views || tracked by 7 users: [display]

VSC IEEE WETICE 2017 : Validation of Safety critical Collaboration systems @ IEEE WETICE

FacebookTwitterLinkedInGoogle

Link: http://www.dmi.unict.it/~tramonta/VSC/index.html
 
When Jun 21, 2017 - Jun 23, 2017
Where Poznan, Poland
Submission Deadline Feb 26, 2017
Notification Due Apr 2, 2017
Final Version Due Apr 15, 2017
Categories    software engineering   security   testing   validation
 

Call For Papers

Applications that hold or exchange sensitive user data, like personal details, security pin-codes, or biometric data, need special protection against software failures or malicious behaviour of downloaded code, that may expose the user to highly undesired consequences, such as threats to confidentiality and even financial or health danger.

For the full CFP see http://www.dmi.unict.it/~tramonta/VSC/index.html

Related Resources

VSC @ IEEE WETICE 2018   Validation of Safety critical Collaboration systems
IJAB 2018   International Journal of Advances in Biology
FVPS 2018   Formal Verification of Physical Systems
IJGTT 2018   International Journal of Game Theory and Technology
Web2Touch @IEEE WETICE 2018   Web2Touch @IEEE WETICE 2018: Semantic technologies for smart information sharing and web collaboration
IJRAP 2018   International Journal of Recent advances in Physics
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
FI-IoTSP 2018   Future Internet Journal: Special Issue on IoT Security and Privacy
IEEE IoTJ 2018   IEEE Internet of Things Journal Special Issue on Secure Embedded IoT Devices for Resilient Critical Infrastructures
IPDPS 2018   32nd IEEE International Parallel and Distributed Processing Symposium