Designing CSP-OZ Transitivity Property Using Formal Specification
A formal specification language provides a technique to describe a system’s behaviour and its properties. The initial specification is abstract which needs to be transformed to a concrete specification using refinement process. In integrated formal specification, the specification is a combination o...
Saved in:
| 主要作者: | |
|---|---|
| 格式: | Thesis |
| 語言: | English |
| 出版: |
2019
|
| 主題: | |
| 在線閱讀: | http://ir.unimas.my/id/eprint/27674/1/Suresh.pdf |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|