Validation and Verification

Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
forum

Visible to the public Multiple PhD positions in CPS cyber-security and robotics at UVA

Multiple PhD positions in cyber-physical systems security and robotics safe planning are available at the University of Virginia (UVA) Autonomous Mobile Robots Laboratory (https://www.bezzorobotics.com/).

Research areas:

group

Visible to the public International Workshop on Trustworthy & Real-time Edge Computing for Cyber-Physical Systems

International Workshop on Trustworthy & Real-time Edge Computing for Cyber-Physical Systems
event

Visible to the public  FSEN '19
May 01, 2019 7:00 am - May 03, 2019 6:00 pm +0430

Eighth International Conference on Fundamentals of Software Engineering 2019 - Theory and Practice (FSEN '19)

--About FSEN --

forum

Visible to the public CfP: Future of Information and Communication Conference (FICC) 2019

CALL FOR PAPERS

Future of Information and Communication Conference (FICC) 2019

14-15 March, 2019 | San Francisco, CA | http://saiconference.com/FICC2019

FICC 2019 aims to provide a forum for researchers from both academia and industry to share their latest research contributions and exchange knowledge with the common goal of shaping the future of Information and Communication.

ABOUT FICC 2019

event

Visible to the public  FICC 2019
Mar 14, 2019 7:00 am - Mar 15, 2019 6:00 pm PDT

Future of Information and Communication Conference (FICC) 2019

FICC 2019 aims to provide a forum for researchers from both academia and industry to share their latest research contributions and exchange knowledge with the common goal of shaping the future of Information and Communication.

ABOUT FICC 2019

event

Visible to the public  AVoCS 2018
Jul 18, 2018 7:00 am - Jul 19, 2018 6:00 pm BST

18th International Workshop on Automated Verification of Critical Systems (AVoCS 2018)

Overview