An analytical model for end-to-end communication channel over PLCN based on QBDs (Q990086): Difference between revisions

@@ 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.ipl.2009.09.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2085781440
@@ Property / OpenAlex ID: W2085781440 / rank @@
+Normal rank
@@ Property / cites work @@
+The analysis of packet loss prediction for Gilbert-model with loss rate uplink
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+CSL model checking algorithms for QBDs
@@ Property / cites work: CSL model checking algorithms for QBDs / rank @@
+Normal rank