Formal Semantics of a VDM Extension for Distributed Embedded Systems (Q5187826): Difference between revisions

@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Overture Tool
@@ Property / describes a project that uses: Overture Tool / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+-sim
@@ Property / describes a project that uses: 20-sim / 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/978-3-642-11512-7_10
+Normal rank
@@ Property / OpenAlex ID @@
+W1491350228
@@ Property / OpenAlex ID: W1491350228 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3157876
@@ Property / cites work: Q3157876 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Objects à la Carte
@@ Property / cites work: Concurrent Objects à la Carte / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5187826