posted by user: emil25 || 5184 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
ISCSAI 2018   2018 International Symposium on Computer Science and Artificial Intelligence
FVPS 2018   Formal Verification of Physical Systems
FI-IoTSP 2018   Future Internet Journal: Special Issue on IoT Security and Privacy
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
IJCSITCE 2018   The International Journal of Computational Science, Information Technology and Control Engineering
Web2Touch @IEEE WETICE 2018   Web2Touch @IEEE WETICE 2018: Semantic technologies for smart information sharing and web collaboration
DSN 2019   Dependable Systems and Networks
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
ORAJ 2018   Operations Research and Applications: An International Journal