Protocol Engineering Applied to Formal Analysis of Security Systems
InfraSec '02 Proceedings of the International Conference on Infrastructure Security
Generic Engineering of Communication Protocols - Current Experience and Future Issues
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Validation and testing of sC++ applications
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Hi-index | 0.00 |