Sampling of Shape Expressions with ShapEx

Nicolas Basset, Thao Dang, Felix Gigler (Vortragende:r), Cristinel Mateis, Dejan Nickovic

Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

OriginalspracheEnglisch
TitelProceedings of 19th ACM-IEEE International Conference on Formal Methods and Models for System Design
Redakteure/-innenS. Arun-Kumar, Dominique Mery, Indranil Saha, Lijun Zhang
Seiten118-125
Seitenumfang8
DOIs
PublikationsstatusVeröffentlicht - 2021
VeranstaltungMEMOCODE 2021 -
Dauer: 20 Nov. 202122 Nov. 2022

Konferenz

KonferenzMEMOCODE 2021
Zeitraum20/11/2122/11/22

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren