Communicating sequential processes
Communicating sequential processes
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Formal modelling of telematic services using LOTOS
Microprocessing and Microprogramming
Proceedings of the international workshop on Automatic verification methods for finite state systems
Formal specification of telephone systems in LOTOS: The constraint-oriented style approach
Computer Networks and ISDN Systems
Specification styles in distributed systems design and verification
TAPSOFT '89 2nd international joint conference on Theory and practice of software development
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Formal Methods at AT&T - An Industrial Usage Report
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
A LOTOS-Based Development Strategy
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
A framework for evaluating specification methods for reactive systems: experience report
Proceedings of the 17th international conference on Software engineering
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Assessing Software Review Meetings: Results of a Comparative Analysis of Two Experimental Studies
IEEE Transactions on Software Engineering
Formal methods for telecommunication system requirements: A survey of standardized languages
Annals of Software Engineering
Empirical Software Engineering
Comparing Detection Methods for Software Requirements Inspections: A Replicated Experiment
IEEE Transactions on Software Engineering
An experiment to assess cost-benefits of inspection meetings and their alternatives: a pilot study
METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
Program entanglement, feature interaction and the feature language extensions
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 0.00 |