Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models (Q941454): Difference between revisions

@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ipc
@@ Property / describes a project that uses: ipc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SSF.App.Worm
@@ Property / describes a project that uses: SSF.App.Worm / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jcss.2007.07.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2099865519
@@ Property / OpenAlex ID: W2099865519 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of a Multimedia Stream using Stochastic Process Algebra
+Normal rank
@@ Property / cites work @@
+Formal Methods for Biochemical Signalling Pathways
+Normal rank
@@ Property / cites work @@
+A family of embedded Runge-Kutta formulae
@@ Property / cites work: A family of embedded Runge-Kutta formulae / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Approach to Performance Modelling
@@ Property / cites work: A Compositional Approach to Performance Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+Formal techniques for performance analysis: blending SAN and PEPA
+Normal rank
@@ Property / cites work @@
+Q4738778
@@ Property / cites work: Q4738778 / rank @@
+Normal rank