Step-wise Development of Provably Correct Actor Systems

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Zeitraum25 Okt. 2021
EreignistitelISOLA 2021 - 10th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
VeranstaltungstypKonferenz
OrtRhodes, GriechenlandAuf Karte anzeigen

Fields of Expertise

  • Information, Communication & Computing

Verbundene Inhalte