A Timed Model of Circus with the Reactive Design Miracle.
Kun WeiJim WoodcockAlan BurnsPublished in: SEFM (2010)
Keyphrases
- probabilistic model
- theoretical analysis
- computational model
- conceptual model
- statistical model
- cost function
- metamodel
- parameter estimation
- formal model
- theoretical framework
- layout design
- modelling language
- conceptual framework
- software architecture
- mathematical model
- real time
- input data
- prior knowledge
- similarity measure
- search engine