Zoology / Risk assessment / Biological Control / Case Study / United States / Field Study / North America / Risk Assessment / Host Range / Laboratory Tests / Field Study / North America / Risk Assessment / Host Range / Laboratory Tests
Case Study / Real Time Systems / Formal Verification / Real Time / Scheduling Theory / System modeling / Timed Automata / Parametric analysis / System modeling / Timed Automata / Parametric analysis
Case Study / Real Time Systems / Formal Verification / Real Time / Scheduling Theory / System modeling / Timed Automata / Parametric analysis / System modeling / Timed Automata / Parametric analysis
Computer Architecture / Parallel Processing / Mobile Communication / Case Study / Software Implementation / Synthetic Aperture Radar / Real Time / Energy efficient / Synthetic Aperture Radar / Real Time / Energy efficient
Telecommunication Networks / Quality of Service / Case Study / Network Reliability / Computer crime / Information Infrastructure / Power Grid / Real Time / Systemic Risk / Data Exchange / Critical Infrastructure / Analytical Model / SCADA system / Interaction Network / Information Infrastructure / Power Grid / Real Time / Systemic Risk / Data Exchange / Critical Infrastructure / Analytical Model / SCADA system / Interaction Network