Monitoring and control of cyber-physical systems.
file
This version of the benchmark fixes a typo (minus sign) in eq (2).
forum
Submitted by Anonymous on Wed, 03/26/2014 - 3:33pm
The 2014 International Conference on Systems and Informatics (ICSAI 2014)
15-17 November 2014 in Shanghai, China.
ICSAI 2014 aims to be a premier international forum for scientists and researchers to present the state of the art of systems engineering and information science.
forum
Submitted by Anonymous on Wed, 03/26/2014 - 3:26pm
19th IEEE International Conference on Emerging Technologies and Factory Automation; 16-19 September 2014, Barcelona, Spain
Track on REAL-TIME AND (NETWORKED) EMBEDDED SYSTEMS
---------------------------------------------------------------------------
Conference web site: http://www.etfa2014.org/
---------------------------------------------------------------------------
event
Submitted by Anonymous on Wed, 03/26/2014 - 12:01pm
7th International Workshop on Numerical Software Verification
July 17-18, 2014
A Satellite Workshop of Vienna Summer of Logic 2014, Collocated with CAV 2014
Novelty of this edition
forum
Submitted by Anonymous on Wed, 03/26/2014 - 11:57am
7th International Workshop on Numerical Software Verification
July 17-18, 2014
A Sattelite Workshop of Vienna Summer of Logic 2014, Collocated with CAV 2014
Vienna, Austria
Web Page: http://www.lix.polytechnique.fr/~bouissou/NSV14
Important Dates
===============
Submissions deadline: March 20th 2014.
Notification: May 4th 2014.
Final version: May 25th 2014.
Workshop: July 17th-18th 2014.
