Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems.
Salwa SaadEtimad A. FadelOhoud AlzamzamiFathy EassaAhmed Mohammed AlghamdiPublished in: Comput. (2024)
Keyphrases
- management system
- conceptual model
- reference model
- computational model
- formal model
- spatio temporal
- statistical model
- neural network
- probabilistic model
- mathematical model
- design tools
- temporal constraints
- temporal reasoning
- experimental data
- linear programming
- object oriented
- artificial neural networks
- bayesian networks