DEVINE: Vérification efficace pour des systèmes distribués fiables
facilityRennes, Brittany, France
Research output, citation impact, and the most-cited recent papers from DEVINE: Vérification efficace pour des systèmes distribués fiables (France). Aggregated across the NobleBlocks index of 300M+ scholarly works.
Total works
14
Citations
4
h-index
1
i10-index
0
Also known as
DEVINE: DEpendable distributed systems: formal VerificatIoN made EfficientDEVINE: Vérification efficace pour des systèmes distribués fiables
Top research topics
Formal Methods in Verification(4)Logic, programming, and type systems(2)Multi-Agent Systems and Negotiation(2)DNA and Biological Computing(2)Speech and dialogue systems(2)Machine Learning and Algorithms(2)Mobile Agent-Based Network Management(2)Low-power high-performance VLSI design(1)Reinforcement Learning in Robotics(1)Teaching and Learning Programming(1)Advanced Software Engineering Methodologies(1)Transportation Planning and Optimization(1)Business Process Modeling and Analysis(1)Distributed systems and fault tolerance(1)Fluid Dynamics and Mixing(1)
Top-cited papers from DEVINE: Vérification efficace pour des systèmes distribués fiables
No indexed publications for this institution yet.