Tools for support of automata-based programming (Q927470): Difference between revisions

@@ Property / describes a project that uses @@
+SWITCH
@@ Property / describes a project that uses: SWITCH / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Spotty scope
@@ Property / cites work: Spotty scope / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210549
@@ Property / cites work: Q4210549 / rank @@
+Normal rank
@@ Property / cites work @@
+SWITCH technology: An automated approach to developing software for reactive systems
+Normal rank
@@ Property / cites work @@
+Q5684216
@@ Property / cites work: Q5684216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4371400
@@ Property / cites work: Q4371400 / rank @@
+Normal rank
@@ Property / cites work @@
+Use of statechart diagrams for modeling of hypertext
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:927470