Structuring Real-Time Object-Z Specifications
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Combining Specification Techniques for Processes, Data and Time
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
CSP-OZ-DC: a combination of specification techniques for processes, data and time
Nordic Journal of Computing
Hi-index | 0.00 |