Martin Quinson

Documents

Présentation

772885

	System-level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications Marion Guthmuller , Martin Quinson , Gabriel Corona Formal Approaches to Parallel and Distributed Systems (4PAD) - Special Session of Parallel, Distributed and network-based Processing (PDP), Mar 2015, Turku, Finland Communication dans un congrès hal-01097204v1

	System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications Marion Guthmuller , Gabriel Corona , Martin Quinson 2015 Pré-publication, Document de travail hal-01558049v1