A formal approach to the evaluation of interactive systems
ACM SIGCHI Bulletin
Using LOTOS in the specification of industrial bus communication protocols
Computer Networks: The International Journal of Computer and Telecommunications Networking
Using LOTOS for the evaluation of design options in the PREMO standard
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Integrating process modelling and soft systems analysis
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Hi-index | 0.00 |