Combined Formal Modeling and Model Transformation Based on AADL and Object-Z.
Zhengling GuoZining CaoPublished in: J. Softw. (2023)
Keyphrases
- formal model
- object recognition
- computational model
- object model
- management system
- mathematical model
- statistical model
- formal models
- probability distribution
- probabilistic model
- d objects
- modeling method
- modeling framework
- object oriented
- parameter estimation
- high level
- theoretical framework
- conceptual model
- cost function
- prior knowledge