A Verification Framework for Component Based Modeling and Simulation : “Putting the pieces together”

A Verification Framework for Component Based Modeling and Simulation : “Putting the pieces together”

The discipline of component-based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. This paradigm is very profitable as it promotes the use and reuse of modular components and is auspicious for effective development of complex simula...

Full description

Bibliographic Details
Main Author: Mahmood, Imran
Format: Doctoral Thesis
Language:English
Published: KTH, Programvaruteknik och Datorsystem, SCS 2013
Subjects:
Modeling and Simulation
Component-based development
Composability
Semantic Composability
Dynamic-Semantic Composability
Verification
Correctness
Petri Nets Analysis
Algebraic Techniques
Colored Petri Nets
State-space Analysis
Communicating Sequential Processes
Model Checking.
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-116678
http://nbn-resolving.de/urn:isbn:978-91-7501-628-3

Internet

http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-116678
http://nbn-resolving.de/urn:isbn:978-91-7501-628-3

Similar Items