Login / Signup
Verifikation von UML-Statecharts unter besonderer Berücksichtigung von Speicherverbrauch und Laufzeit des Model Checkers.
Christian Ammann
Published in:
Softwaretechnik-Trends (2011)
Keyphrases
</>
computational model
object oriented
process model
metamodel
analytical model
neural network
specification language
high level
prior knowledge
probabilistic model
database design
conceptual model