EasyChair Smart SlideDocs/Log in
Author: Eunsuk Kang

This page shows all presentations of this author published in EasyChair Smart Slide.

Task Model Design and Analysis with Alloy

Task Model Design and Analysis with Alloy

Alcino Cunha, Nuno Macedo and Eunsuk Kang

Mapping Synthesis for Hyperproperties

Mapping Synthesis for Hyperproperties

Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang and Stavros Tripakis

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair