A formal model of the software test process
IEEE Transactions on Software Engineering
Fast Worm Containment Using Feedback Control
IEEE Transactions on Dependable and Secure Computing
Dynamic analysis of structures with friction devices using discrete-time state-space formulation
Computers and Structures
Sensitivity analysis of an attack containment model
ISI'05 Proceedings of the 2005 IEEE international conference on Intelligence and Security Informatics
Hi-index | 0.00 |