EasyChair Smart SlideDocs/Log in
Author: Stefan Leue

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

Checking Legal Contracts - on a Not so Usual Application of Mechanized Logic

Checking Legal Contracts - on a Not so Usual Application of Mechanized Logic

Alan Khoja, Martin Kölbl, Stefan Leue and Rüdiger Wilhelmi

TarTar: a Timed Automata Repair Tool

TarTar: a Timed Automata Repair Tool

Martin Kölbl, Stefan Leue and Thomas Wies

Clock Bound Repair for Timed Systems

Clock Bound Repair for Timed Systems

Martin Kölbl, Stefan Leue and Thomas Wies

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