| Process Algebraic Underpinning of Communication and Timing in SDL (2007) | |||||||||||||||
Abstract | |||||||||||||||
| development of high integrity computing systems, (ii) highest level post-graduate university teaching, (iii) international level research, and, through the above, (iv) use of as sophisticated software as reasonable. UNU/IIST contributes through: (a) advanced, joint industry-university advanced development projects in which rigorous techniques supported by semantics-based tools are applied in case studies to large scale software developments, (b) own and joint university and academy institute research in which new techniques for application domain and computing platform modeling, requirements capture, software | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||