Automated Verification of Power Contracts

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Period11 Sept 2023
Event titleAlpine Verification Meeting 2023: AVM 2023
Event typeConference
LocationPrague, Czech RepublicShow on map
Degree of RecognitionInternational

Keywords

  • Verification
  • Security

Related content