Reasoning about Action Systems using the B-Method
Formal Methods in System Design
Generalizing Action Systems to Hybrid Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Continuous action systems as a model for hybrid systems
Nordic Journal of Computing
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Time aware modelling and analysis of multiclocked VLSI systems
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
A lightweight formal framework for service-oriented applications design
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Formal specification of a protocol processor
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Towards a new conceptual framework for the modelling of dynamically distributed systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |