A Model-Based Privacy Compliance Checker

International Journal of e-Business Research- United States

doi 10.4018/jebr.2009040104

Full Text

Abstract

Available in

Date

Authors

Publisher

IGI Global

Related search

A Markov Chain Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

A Symbolic Model Checker for ACTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

The JKind Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Towards a Certified Petri Net Model-Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Z2SAL - Building a Model Checker for Z

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

McMas: A Model Checker for Multi-Agent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006Italian

Verifying Networked Programs Using a Model Checker Extension

2009English

VoxLogicA: A Spatial Model Checker for Declarative Image Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019Spanish

Privacy-Based Computation Model in E-Business

International Journal of Production Research
IndustrialManufacturing EngineeringStrategyManagement ScienceManagementOperations Research
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy