Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Philippe Mauran

Mechanized Refinement of Communication Models With TLA $$^+$$ +

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Related publications

Refinement of Mechanized Proof of Security Properties of Remote Internet Voting Protocol in Applied PI Calculus With Proverif

Information Technology Journal

English

The Specification Language TLA+

Monographs in Theoretical Computer Science. An EATCS Series

English

Simulation Model of the Communication Repair Process in the Mechanized Brigade Repair Unit

Journal of Scientific Papers "Social development and Security"

English

Model Diagnostics and Refinement for Phylodynamic Models

PLoS Computational Biology

Molecular Neuroscience

Molecular Biology

Computational Theory

English

Operational Performance of the Mechanized and Semi-Mechanized Potato Harvest

Engenharia Agricola

Biological Sciences

English

Development of Mechanized Feeding System With Computational Analysis

International Journal of Research in Engineering and Technology

English

Mechanized Mathematics

Bulletin of the American Mathematical Society

English

Mechanized Metatheory Revisited

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English

Recovery and Refinement of Business Process Models for Web Applications

Uncovering Essential Software Artifacts through Business Process Archeology

English