SDE: Incremental Specification and Development of Communications Software
IEEE Transactions on Computers - Special issue on protocol engineering
The meaning of negative premises in transition system specifications
Journal of the ACM (JACM)
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
Extending distributed system specifications
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Consistency between Task Models and Use Cases
Engineering Interactive Systems
Hi-index | 0.00 |