Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
Submitted by Anonymous on Wed, 08/23/2017 - 11:53am
The 10th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems
In conjunction with RTSS'2017 conference
Background:
Large safety-critical real-time systems are typically created through the integration of multiple components that are developed mostly independently from each other.
Submitted by Anonymous on Tue, 08/22/2017 - 1:15pm
33rd Annual ACM Symposium on Applied Computing
ACM Symposium on Applied Computing
The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the last thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing.
SAC 2018 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be hosted by the Universite de Pau et des Pays de l'Adour (UPPA), Bayonne, France.
Submitted by Anonymous on Fri, 06/09/2017 - 11:35am
Embedded Real Time Software and Systems ( ERTS2 2018)
The ERTS2 congress created by the late Jean-Claude Laprie in 2002 is a unique European cross sector event on Embedded Software and Systems, a platform for top-level scientists with representatives from universities, research centres, agencies and industries. The previous editions gathered more than 100 talks, 500 participants and 60 exhibitors. ERTS2 is both:
