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

FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
FM 2024   Formal Methods
ICFEM 2024   International Conference on Formal Engineering Methods
Vibroengineering Ukraine 2024   Vibroengineering Conference on Vibration Processes and Systems in Engineering
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
7FMA 2024   7th International Symposium Formal Methods in Architecture
TAP 2024   18th International Conference on Tests and Proofs
CONISOFT 2024   12th International Conference on Software Engineering Research and Innovation
SIMULTECH 2024   14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications