M-TREE

swMATH2565MaRDI QIDQ15104FDOQ15104

Author name not available (Why is that?)

Described by source

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

Cited In (13)

• Title not available (Why is that?)
• 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
• 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
• 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?)
• CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes

This page was built for software: M-TREE