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

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-33600-8_27
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

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

Information Technology Journal
2011English

The Specification Language TLA+

Monographs in Theoretical Computer Science. An EATCS Series
2007English

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

Journal of Scientific Papers "Social development and Security"
2020English

Model Diagnostics and Refinement for Phylodynamic Models

PLoS Computational Biology
Molecular NeuroscienceEvolutionEcologyGeneticsBehaviorMolecular BiologySystematicsSimulationCellularComputational TheoryMathematicsModeling
2019English

Operational Performance of the Mechanized and Semi-Mechanized Potato Harvest

Engenharia Agricola
AgriculturalBiological Sciences
2011English

Development of Mechanized Feeding System With Computational Analysis

International Journal of Research in Engineering and Technology
2017English

Mechanized Mathematics

Bulletin of the American Mathematical Society
1966English

Mechanized Metatheory Revisited

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2018English

Recovery and Refinement of Business Process Models for Web Applications

Uncovering Essential Software Artifacts through Business Process Archeology
English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy