Communicating sequential processes
Communicating sequential processes
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
An Approach to Experimental Evaluation of Real-Time Fault-Tolerant Distributed Computing Schemes
IEEE Transactions on Software Engineering
The Raid Distributed Database System
IEEE Transactions on Software Engineering
Developing formally verified Ada programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A Calculus of Communicating Systems
A Calculus of Communicating Systems
IEEE Transactions on Software Engineering
Hi-index | 0.00 |