IVOIRE Workshop

  • Michael Leuschel (Organiser)
  • Atif Mashkoor (Organiser)
  • David Geleßus (Organiser)
  • Sebastian Stock (Organiser)
  • Fabian Vu (Organiser)

Activity: Participating in or organising an event › Organising a conference, workshop, ...

Description

The IVOIRE workshop aims to foster exchange of new idea in the area of validation of state based formal models.
Period30 May 2023
Event typeConference
LocationFranceShow on map

Fields of science

  • 102 Computer Sciences

Documents & Links