Login / Signup

A Scalable Incomplete Test for the Boundedness of UML RT Models.

Stefan LeueRichard MayrWei Wei
Published in: TACAS (2004)
Keyphrases
  • hidden markov models
  • model selection
  • database design
  • statistical models
  • information systems
  • knowledge base
  • case study
  • complex systems
  • statistical model
  • computational models
  • metamodel
  • uml models