posted by user: ratschan || 3344 views || tracked by 2 users: [display]

FMICS 2010 : Formal Methods for Industrial Critical Systems

FacebookTwitterLinkedInGoogle


Conference Series : Formal Methods for Industrial Critical Systems
 
Link: http://es.fbk.eu/events/fmics2010
 
When Sep 20, 2010 - Sep 21, 2010
Where Antwerp, Belgium
Abstract Registration Due Apr 10, 2010
Submission Deadline Apr 18, 2010
 

Call For Papers

[Empty]

Related Resources

EEPE-TIA 2027   2027 7th International Conference on Energy Evolution and Power Engineering: Transition, Intelligence and Autonomy
SI: AI for Control Systems 2027   Special Issue on Applied Artificial Intelligence for Control Systems (Electronics, MDPI)
IRAS 2027   2027 International Conference on Intelligent Robotics and Autonomous Systems
ICACAR 2027   2027 5th International Conference on Advanced Control, Automation and Robotics
AIAIS 2027   IEEE--2027 International Conference on Artificial Intelligence and Applied Intelligent Systems (AIAIS)
AAMAS 2027   AAMAS, The 26th International Conference on Autonomous Agents and Multiagent Systems
Springer; Methods in Molecular Biology 2026   Digital Pathology - Methods and Protocols
Governing GP AI Systems 2026   CfP: CLSR Special Issue on Governing General-Purpose AI Systems
DICG 2026   6th International Workshop on Distributed Infrastructure for Common Good
MODERN SYSTEMS 2026   International Conference of Modern Systems Engineering Solutions