Integrating specification and programs for system modeling and verification
High level specification languages like CSP use mathematical objects as abstractions to represent systems and processes. System behaviors are described as process expressions combined with compositional operators, which are associated with elegant algebraic laws for system analysis. Nonetheless, mod...
Saved in:
| Main Authors: | , , , |
|---|---|
| 格式: | text |
| 語言: | English |
| 出版: |
Institutional Knowledge at Singapore Management University
2009
|
| 主題: | |
| 在線閱讀: | https://ink.library.smu.edu.sg/sis_research/5045 https://ink.library.smu.edu.sg/context/sis_research/article/6048/viewcontent/Integrating.pdf |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | Singapore Management University |
| 語言: | English |