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

Springer; Methods in Molecular Biology 2026   Digital Pathology - Methods and Protocols
Digitalization of Financial Systems 2026   Digitalization of Financial Systems: Ethical Implications and Sustainable Development Perspective
SURGeLLM 2026   SURGeLLM 2026 Structured Understanding, Retrieval, and Generation in the LLM Era
IEEE-ESEE 2026   2026 2nd International Conference on Energy Systems and Electrical Engineering-IEEE Xplore/EI/Scopus