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.
forum
Submitted by Anonymous on Mon, 02/08/2021 - 1:07pm
CALL FOR PAPERS
ECRTS is the premier European venue in the area of real-time systems and, alongside RTSS and RTAS, ranks as one of the top three international conferences on this topic.
Owing to the uncertain pandemic outlook, ECRTS 2021 will be held online as a virtual conference on July 7-9, 2021.
event
Submitted by Anonymous on Tue, 07/28/2020 - 3:15pm
Software Engineering and Formal Methods (SEFM 2020)
SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
SEFM 2020 will be an entirely virtual event
event
Submitted by Anonymous on Tue, 07/28/2020 - 3:07pm
17th edition of the International Conference on Software Engineering and Formal Methods (SEFM 2019)
SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
Topics of interest include, but are not limited to, the following aspects of software engineering and formal methods:
Software Development Methods
event
Submitted by Anonymous on Fri, 07/24/2020 - 4:08pm
IEEE 32nd International Conference on Microelectronics (IEEE ICM 2020)
The International Conference on Microelectronics has already been held numerous times in different countries across the MiddleEast, Southern Europe, and Asia for the past 31 years. The 32nd edition of the conference will take place in Aqaba-Jordan. Jordan is home to one of the world's 7 wonders; Petra. Aqaba is a coastal harbor which serves as a launch point for visitors to Petra and Wadi Rum.
event
Submitted by Anonymous on Thu, 07/23/2020 - 3:33pm
event
Submitted by Anonymous on Wed, 07/22/2020 - 1:18pm
Euromicro Conference on Digital System Design (DSD 2020)
The Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embedded, pervasive and high-performance) digital and mixed HW/SW system engineering, covering the whole design trajectory from specification down to micro-architectures, digital circuits and VLSI implementations. It is a forum for researchers and engineers from academia and industry working on advanced investigations, developments and applications.
event
Submitted by Anonymous on Thu, 01/09/2020 - 2:28pm
ASPLOS 2020 meeting in Lausanne is canceled because of COVID-19
forum
Submitted by Anonymous on Mon, 01/06/2020 - 4:41pm
CALL FOR PAPERS
5TH WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS (MT-CPS 2020)
April 21, 2020 | Sydney, Australia | https://sites.google.com/view/mt-cps2020/
Part of CPS-IoT Week 2020
Description
event
Submitted by Anonymous on Fri, 09/13/2019 - 8:58am
