Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
video
Submitted by Janos.Sztipanovits on Tue, 08/30/2011 - 6:35pm
event
Submitted by Anonymous on Thu, 12/08/2022 - 11:12am
11th International Conference on Cyber-Physical Systems
Contemporary Cyber-Physical Systems (CPS) are smart compound systems engineered through seamless integration of embedded information processing sub-systems and physical sub-systems. The modern smart collaborating CPS, that started to form the Cyber-Physical Systems of Systems (CPSoS) and Internet of Things (IoT), have important applications in virtually all economic and social segments, and their huge economic and societal impact rapidly increases. The CPS and IoT area undergoes a revolutionary development.
forum
Submitted by Anonymous on Mon, 02/18/2019 - 1:53pm
event
Submitted by Anonymous on Mon, 02/18/2019 - 1:47pm
International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2019)
co-located with the International Symposium on Formal Methods, FM 2019.
forum
Submitted by Anonymous on Wed, 10/03/2018 - 3:59pm
forum
Submitted by Anonymous on Wed, 10/03/2018 - 1:24pm
event
Submitted by Anonymous on Wed, 10/03/2018 - 1:20pm
International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification (RSSRail 2019)
The railway industry faces increasing pressure to improve system safety, to decrease production costs and time to market, to reduce carbon emissions and running costs, and to increase the capacity of the railway. Railway systems are now being integrated into larger multi-transport networks. Such systems require an even higher degree of automation at all levels of operation.
forum
Submitted by Anonymous on Fri, 04/20/2018 - 12:37pm
CALL FOR PAPERS - Extended Deadlines
Abstract deadline: 08 April 2018 30 April 2018 Extended!
Papers deadline: 30 April 2018 08 May 2018 Extended!
September 26-28, 2018 | Grenoble, France | https://vecos.ensta-paristech.fr/2018/