M-TREE

MaRDI QIDQ15104swMATHFDO

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)

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

This page was built for software: M-TREE