posted by user: ratschan || 3362 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

SI: AI for Control Systems 2027   Special Issue on Applied Artificial Intelligence for Control Systems (Electronics, MDPI)
MODERN SYSTEMS 2026   International Conference of Modern Systems Engineering Solutions
Governing GP AI Systems 2026   CfP: CLSR Special Issue on Governing General-Purpose AI Systems
Springer; Methods in Molecular Biology 2026   Digital Pathology - Methods and Protocols
Dairy Systems & Technology 2026   Precision Dairy Systems & Technology Conference
Digitalization of Financial Systems 2026   Digitalization of Financial Systems: Ethical Implications and Sustainable Development Perspective