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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(00)00089-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2694136767
@@ Property / OpenAlex ID: W2694136767 / rank @@
+Normal rank