Implementation and analysis of real-time communication protocol compositions (Q995821): Difference between revisions

@@ Property / Wikidata QID @@
+Q62701265
@@ Property / Wikidata QID: Q62701265 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kronos
@@ Property / describes a project that uses: Kronos / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / 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.1007/s11241-007-9026-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2065108906
@@ Property / OpenAlex ID: W2065108906 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531754
@@ Property / cites work: Q4531754 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4335814
@@ Property / cites work: Q4335814 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Reliable Distributed Programming
@@ Property / cites work: Introduction to Reliable Distributed Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
+Normal rank
@@ Property / cites work @@
+Kronos: A verification tool for real-time systems
@@ Property / cites work: Kronos: A verification tool for real-time systems / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:995821