Fair transition system specification: an integrated approach
ACM SIGPLAN Notices
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Models of interactive systems: a case study on programmable user modelling
International Journal of Human-Computer Studies
WSCMon: runtime monitoring of web service orchestration based on refinement checking
Service Oriented Computing and Applications
Using temporal logic in the specification of reactive and interactive systems
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Hi-index | 0.00 |