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.
event
Submitted by Anonymous on Thu, 01/17/2019 - 9:58am
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.
forum
Submitted by Anonymous on Tue, 12/18/2018 - 12:03pm
event
Submitted by Anonymous on Tue, 12/18/2018 - 11:58am
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/
forum
Submitted by Anonymous on Tue, 12/18/2018 - 11:52am
wikipage
Submitted by nanli0302 on Tue, 09/25/2018 - 1:53pm
event
Submitted by Anonymous on Fri, 08/17/2018 - 12:09pm
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.
forum
Submitted by Anonymous on Mon, 08/13/2018 - 1:10pm
biblio
Submitted by Katie Dey on Mon, 07/30/2018 - 12:31pm
event
Submitted by Anonymous on Wed, 05/30/2018 - 12:00pm
Eighth International Conference on Fundamentals of Software Engineering 2019 - Theory and Practice (FSEN '19)
--About FSEN --
