Adaptive Intrusion Detection Systems
Adaptive Intrusion Detection Systems
A Framework for Cancer-related Genes Mining System
An Aspect-Oriented Approach for Security Systems Architecture
Performance Modeling and Analysis of
Distributed Real-Time Systems
A Framework for the Evaluation and Vertification of Real-Time
Safety-Critical Intelligent Systems
A Formal Approach for a Specification-Based Software Architecture of
Real-Time Systems
Measurement and Verification of Software Architectures
Requirements, Specification, and Analysis of Autonomous Distributed
Communication Systems
Automatic Generation of Verification Senarios from System Requirements
Specifications
