Implementation of Synchronous Programs on Asynchronous Execution Platforms: Correctness, Modularity, and Performance Analysis, at Caltech Workshop on Verification and Validation

Tripakis, S. (Invited speaker)

Activity: Talk or presentation typesPublic or invited talk

Period23 Sep 200924 Sep 2009
Event titleCaltech Workshop on Verification and Validation
Event typeWorkshop
LocationPasadena, United States, California
Degree of RecognitionInternational