Deriving specifications for systems that are connected to the physical world
Formal methods and hybrid real-time systems
Environment-sensitive intrusion detection
RAID'05 Proceedings of the 8th international conference on Recent Advances in Intrusion Detection
Hi-index | 0.00 |