EasyChair Smart SlideDocs/Log in
Author: Nuno Macedo

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

Simulation under arbitrary temporal logic constraints

Simulation under arbitrary temporal logic constraints

Julien Brunel, David Chemouil, Alcino Cunha and Nuno Macedo

Improving the Visualization of Alloy Instances

Improving the Visualization of Alloy Instances

Rui Couto, José Creissac Campos, Nuno Macedo and Alcino Cunha

Presentations in this collection: 3
Copyright © 2002 – 2025 EasyChair