Composable simulation models and their formal validation
Ph.D
Saved in:
Main Author: | CLAUDIA SZABO |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Theses and Dissertations |
Language: | English |
Published: |
2011
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/20441 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Language: | English |
Similar Items
-
An analysis of the cost of validating semantic composability
by: Szabo, C., et al.
Published: (2013) -
An objective-based approach for semantic validation of emergence in component-based simulation models
by: Szabo, C., et al.
Published: (2013) -
A rule-based semantic matching of base object models
by: Moradi, F., et al.
Published: (2013) -
The mark of a Filipino composer: Felipe Padilla de Leon
by: Arante, Alvin B., et al.
Published: (1979) -
Approche Composant : de la spécification à l'implantation
by: LANOIX, Arnaud, et al.
Published: (2015)