Formal Functional Specifications
| File | MIME type | Size (KB) | Language | Download | |
|---|---|---|---|---|---|
| Presentation-FormalFuncSpecs.pdf | application/pdf | 15.23 KB | English | DOWNLOAD! |
Systems engineering training and consulting for project success ...
formal specifications
ZML: Z Formal Specifications Using XML
| File | MIME type | Size (KB) | Language | Download | |
|---|---|---|---|---|---|
| z-xml-report.pdf | application/pdf | 74.71 KB | English | DOWNLOAD! |