Work

Formal Modeling and Analysis of DoS Using Probabilistic Rewrite Theories

Year: 2005

Type: article

Authors: Gul Agha, Michael B. Greenwald, Carl A. Gunter, Sanjeev Khanna, José Meseguer, Koushik Sen, Prasannaa Thati

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W71457692

FWCI: 3.805

Cites: 13

Cited by: 34

Related to: 10