EasyChair Smart SlideHelp/Log in
Author: Nuno Macedo

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

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: 2
Copyright © 2002 – 2023 EasyChair