A technical operation or procedure that consists of determination of one or more characteristics of a given product, process or service according to a specified procedure.

Visible to the public  HSCC 2020
Apr 21, 2020 7:00 am - Apr 24, 2020 6:00 pm AEST

23rd ACM International Conference on Hybrid Systems: Computation and Control

April 21-24, 2020 | Sydney Australia | https://berkeleylearnverify.github.io/HSCC_2020/


Visible to the public  ATVA 2019
Oct 28, 2019 7:00 am - Oct 30, 2019 6:00 pm CST

17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)

ATVA 2019 is the 17th in a series of symposia dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification, and synthesis by providing a forum for interaction between local and international research communities and industry in the field.


Visible to the public  ITEQS 2019
Apr 22, 2019 1:00 pm - 2:00 pm JST

3rd International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS)

April 22, 2019 | Xi'an - China | http://www.mrtc.mdh.se/ITEQS/2019/


Visible to the public  ICCPS 2019
Apr 16, 2019 7:00 am - Apr 18, 2019 6:00 pm EDT

The 10th ACM/IEEE International Conference on Cyber-Physical Systems (CM/IEEE ICCPS 2019)

Overview: As digital computing and communication become faster, cheaper, and available in packages that are smaller and use less power, these capabilities are increasingly embedded in many objects and structures in the physical environment. Cyber-physical systems (CPS) are physical and engineered systems whose operations are monitored, coordinated, controlled, and integrated by computing and communication.