Programming Behavioral Test Models for SMT Solving in Scala

Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

Zeitraum	22 Apr. 2019
Ereignistitel	15th Workshop on Advances in Model Based Testing: A-MOST 2019
Veranstaltungstyp	Workshop
Konferenznummer	15
Ort	Xian, ChinaAuf Karte anzeigen
Bekanntheitsgrad	International

Verbundene Inhalte

Veröffentlichungen
Programming Behavioral Test Models for SMT Solving in Scala
Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung