Verification Using Test Generation Techniques
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
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
Mathematical and Computer Modelling: An International Journal
Compositional verification of a communication protocol for a remotely operated aircraft
Science of Computer Programming
Hi-index | 0.00 |