Logic Based Abstractions of Real-Time Systems
Formal Methods in System Design
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formal modelling and verification of the common hopping multi-channel MAC protocols
Proceedings of the 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems
Modelling and analysis of the split phase multi-channel MAC approach
Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
Hi-index | 0.00 |