Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Compositional verification of a communication protocol for a remotely operated aircraft
Science of Computer Programming
Hi-index | 0.00 |