M-TREE

swMATH2565MaRDI QIDQ15104FDOQ15104

Author name not available (Why is that?)

Official website: http://www.sciencedirect.com/science/article/pii/S0743731506000839

Described by source

• M-TREE: a high efficiency security architecture for protecting integrity and privacy of software

Cited In (37)

• Translating FSP into LOTOS and Networks of Automata
• Tools and Algorithms for the Construction and Analysis of Systems
• From generic partition refinement to weighted tree automata minimization
• A reverse nearest neighbor search algorithm in metric space
• New dynamic construction techniques for M-tree
• Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS
• Translating FSP into LOTOS and networks of automata
• On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP
• CADP 2010: a toolbox for the construction and analysis of distributed processes
• jETI
• SCADE
• SIGREF
• Tiburon
• TIMES
• BISIMULATOR
• LOTOS
• CADP
• APNN-Toolbox
• Fiacre
• csp2B
• Exp.Open
• CAESAR_SOLVE
• TVT
• VLTS Benchmark Suite
• fc2tools
• Concurrency Workbench
• DLC
• Mec 5
• LNT2LOTOS
• VERSA
• XTL
• CAESAR
• mCRL
• Title not available (Why is that?)
• Model Checking Software
• Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
• Title not available (Why is that?)

This page was built for software: M-TREE