Functional specification and proof of correctness for time dependent behaviour of reactive systems (Q1176111): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3344239
@@ Property / cites work: Q3344239 / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+The mutual exclusion problem
@@ Property / cites work: The mutual exclusion problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3746875
@@ Property / cites work: Q3746875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4175259
@@ Property / cites work: Q4175259 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1176111