LCCC Focus Period and Workshop on Formal Verification of Embedded Control Systems

Activity: Participating in or organising an eventOrganisation of conference

Period2013 Apr
Event typeConference
LocationLund, SwedenShow on map
Degree of RecognitionInternational

Subject classification (UKÄ)

  • Embedded Systems
  • Control Engineering