---

Related HECS pages

---

• HECS page at Université Grenoble Alpes
  
• MOSIG web site

---

Recent videos on HECS-related topics

---

• 5th Formal Methods Forum: Safety engineering (with videos, some in English, some in French)
• 6th Formal Methods Forum: Cybersecurity (with videos, some in English, some in French)
• 7th Formal Methods Forum: Autonomous vehicles (October 2017)
• Gérard Berry’s lectures at Collège de France (in French)

---

Keywords

---

• Embedded system
• Embedded software
• Cyberphysical system
• Software engineering