EasyChair Smart SlideDocs/Log in
Author: Albert Rubio

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

SDN-Actors: Modeling and Verification of SDN Programs

SDN-Actors: Modeling and Verification of SDN Programs

Elvira Albert, Miguel Gomez-Zamalloa, Albert Rubio, Matteo Sammartino and Alexandra Silva

Constrained Dynamic Partial Order Reduction

Constrained Dynamic Partial Order Reduction

Elvira Albert, Miguel Gomez-Zamalloa, Miguel Isabel and Albert Rubio

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