Model Checking Stochastic Systems in PAT
Ph.D
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | English |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://scholarbank.nus.edu.sg/handle/10635/48654 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| Language: | English |
| id |
sg-nus-scholar.10635-48654 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-486542015-01-16T13:36:23Z Model Checking Stochastic Systems in PAT SONG SONGZHENG NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG DONG JIN SONG Formal Verification, Probabilistic Model Checking, Stochastic Systems, Real-time Systems, Multi-agent Systems, PAT Ph.D DOCTOR OF PHILOSOPHY 2013-12-31T18:27:27Z 2013-12-31T18:27:27Z 2013-08-12 Thesis SONG SONGZHENG (2013-08-12). Model Checking Stochastic Systems in PAT. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/48654 NOT_IN_WOS en |
| institution |
National University of Singapore |
| building |
NUS Library |
| country |
Singapore |
| collection |
ScholarBank@NUS |
| language |
English |
| topic |
Formal Verification, Probabilistic Model Checking, Stochastic Systems, Real-time Systems, Multi-agent Systems, PAT |
| spellingShingle |
Formal Verification, Probabilistic Model Checking, Stochastic Systems, Real-time Systems, Multi-agent Systems, PAT SONG SONGZHENG Model Checking Stochastic Systems in PAT |
| description |
Ph.D |
| author2 |
NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG |
| author_facet |
NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG SONG SONGZHENG |
| format |
Theses and Dissertations |
| author |
SONG SONGZHENG |
| author_sort |
SONG SONGZHENG |
| title |
Model Checking Stochastic Systems in PAT |
| title_short |
Model Checking Stochastic Systems in PAT |
| title_full |
Model Checking Stochastic Systems in PAT |
| title_fullStr |
Model Checking Stochastic Systems in PAT |
| title_full_unstemmed |
Model Checking Stochastic Systems in PAT |
| title_sort |
model checking stochastic systems in pat |
| publishDate |
2013 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/48654 |
| _version_ |
1681083509710520320 |