Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data

Computer Science

• Big Data 100%
• Historical Data 100%
• Knowledge Discovery 100%
• Process Data 100%
• Model Checking 100%
• Service Provider 50%
• Data Management 50%
• Data Model 50%
• Data Type 50%
• Rapid Development 50%
• Transition System 50%
• Data Interoperability 50%
• Database Systems 50%
• Management Layer 50%
• Checking Technique 50%