EasyChair Smart SlideDocs/Log in
Author: Chun Tian

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

Assumption-Based Runtime Verification with Partial Observability and Resets

Assumption-Based Runtime Verification with Partial Observability and Resets

Alessandro Cimatti, Chun Tian and Stefano Tonetta

NuRV: a nuXmv Extension for Runtime Verification

NuRV: a nuXmv Extension for Runtime Verification

Alessandro Cimatti, Chun Tian and Stefano Tonetta

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