AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA (Q3646167): Difference between revisions

@@ Property / author @@
+Laurent Fribourg
@@ Property / author: Laurent Fribourg / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VINAS-P
@@ Property / describes a project that uses: VINAS-P / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal2k
@@ Property / describes a project that uses: Uppaal2k / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IMITATOR
@@ Property / describes a project that uses: IMITATOR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Timed verification of the generic architecture of a memory circuit using parametric timed automata
+Normal rank
@@ Property / cites work @@
+The octahedron abstract domain
@@ Property / cites work: The octahedron abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Robust parametric reachability for timed automata
@@ Property / cites work: Robust parametric reachability for timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of timed systems using time-abstracting bisimulations
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1142/s0129054109006905
+Normal rank
@@ Property / OpenAlex ID @@
+W2098166444
@@ Property / OpenAlex ID: W2098166444 / rank @@
+Normal rank