posted by user: ratschan || 3381 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)
ITS 2027   23RD INTERNATIONAL CONFERENCE ON INTELLIGENT TUTORING SYSTEMS FROM ITS TO INTELLIGENT LEARNING COMPANIONS
Springer CEES 2027   Springer--2027 The 9th International Conference on Clean Energy and Electrical Systems (CEES 2027)
CEES 2027   Springer--2027 The 9th International Conference on Clean Energy and Electrical Systems (CEES 2027)
ICRMV--EI 2027   2027 11th International Conference on Robotics and Machine Vision (ICRMV 2027)
CSTE--EI 2027   2027 9th International Conference on Computer Science and Technologies in Education (CSTE 2027)
ICRIC--EI 2027   2027 International Conference on Robotics and Intelligent Control (ICRIC 2027)
APIET 2027   IEEE--2027 2nd Asia-Pacific Intelligent Educational Technologies Conference (APIET 2027)
ICEIS 2027   29th International Conference on Enterprise Information Systems
ICMSR 2026   2026 12th International Conference on Mechatronics Systems and Robotics (ICMSR 2026)--SCI