Back to Results
First PageMeta Content
Carlo Ghezzi / Mehdi Jazayeri


Open-world Software: Specification, Verification, and Beyond
Add to Reading List

Document Date: 2013-08-12 04:01:01


Open Document

File Size: 948,61 KB

Share Result on Facebook

City

Heuristic / /

Company

Labeled Transition Systems / Carzaniga PhD / /

Country

Switzerland / Italy / /

Facility

Switzerland Prof. Tevfik Bultan Prof. Schahram Dustdar Prof. Sebastián Uchitel University of California / /

Organization

Politecnico di Milano / Universidad de Buenos Aires / Dissertation Committee / USA Technische Universität Wien / Faculty of Informatics of the Università / University of California / Santa Barbara / /

Person

Domenico Bianculli Dott / Domenico Bianculli Lugano / Walter Binder / Serafina / Carlo Ghezzi / Antonio Carzaniga / Mehdi Jazayeri Università / di Milano / Politecnico / /

Position

author / Program Director / Research Advisor / Italy Prof. Antonio Program Director / /

ProvinceOrState

California / /

SocialTag