Applying Formal Methods to Design of Migrator Component of Data Masking Software.

Aniket Kulkarni

Published in: ISEC (2018)

Keyphrases

formal methods
data sets
database
data processing
data sources
data points
computer systems
data quality
case study
user interface
data collection
petri net
formal specification
artificial intelligence
development lifecycle
data analysis
open source
information systems
knowledge based systems
hardware design