Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings.

Engineering

• Accident Prevention 33%
• Automotives 33%
• Control Synthesis 33%
• Design System 33%
• Development 66%
• Formal Method 100%
• Infrastructure 33%
• Models 33%
• Network-on-Chip 33%
• Railway 66%
• Reliability Analysis 33%
• Simulators 33%
• Supervisory Control 33%

Physics

• Density Functional Theory 100%
• Impact 100%
• Reliability 100%
• Station 100%
• Utilization 100%

Computer Science

• formal modeling 50%
• Incremental Development 50%
• Modeling 50%
• Networks on Chips 50%
• Railway System 50%
• Requirements Analysis 50%
• Safety Critical Systems 50%
• Systems Design 50%