Communicating sequential processes
Communicating sequential processes
Communicating sequential processes
Communications of the ACM
Concurrent and Real Time Systems: The CSP Approach
Concurrent and Real Time Systems: The CSP Approach
Computer-Aided Reasoning: An Approach
Computer-Aided Reasoning: An Approach
IEEE Software
Seven More Myths of Formal Methods
IEEE Software
From scenarios to code: an air traffic control case study
Proceedings of the 25th International Conference on Software Engineering
Verification and Validation of Autonomous Systems
SEW '01 Proceedings of the 26th Annual NASA Goddard Software Engineering Workshop
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Experience Using Formal Methods for Specifying a Multi-Agent System
ICECCS '00 Proceedings of the 6th IEEE International Conference on Complex Computer Systems
Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT
ECBS '04 Proceedings of the 11th IEEE International Conference and Workshop on Engineering of Computer-Based Systems
IEEE Communications Magazine
Some Verification Issues at NASA Goddard Space Flight Center
Verified Software: Theories, Tools, Experiments
A systematic review of the use of requirements engineering techniques in model-driven development
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
| Hi-index | 0.24 |
Geocasting is the delivery of packets to nodes within a certain geographic area. For many applications in wireless ad hoc and sensor networks, geocasting is an important and frequent communication service. The challenging problem in geocasting is distributing ...