Login / Signup
A Specification Language for Consistent Model Generation based on Partial Models.
Kristóf Marussy
Oszkár Semeráth
Aren A. Babikian
Dániel Varró
Published in:
J. Object Technol. (2020)
Keyphrases
</>
specification language
probabilistic model
case study
knowledge representation
fine grained
formal specification