PLC-automata: A new class of implementable real-time automata (Q1589587): Difference between revisions

@@ Property / author @@
+Henning Dierks
@@ Property / author: Henning Dierks / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kronos
@@ Property / describes a project that uses: Kronos / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036557
@@ Property / cites work: Q4036557 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+PLC-automata: A new class of implementable real-time automata
+Normal rank
@@ Property / cites work @@
+Duration calculus: Logical foundations
@@ Property / cites work: Duration calculus: Logical foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Q4697483
@@ Property / cites work: Q4697483 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal development of reactive systems. Case study production cell
+Normal rank
@@ Property / cites work @@
+Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction
+Normal rank
@@ Property / cites work @@
+Q3126783
@@ Property / cites work: Q3126783 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank