Dealing with practical limitations of distributed timed model checking for timed automata (Q2431767): Difference between revisions

@@ Property / describes a project that uses @@
+Kronos
@@ Property / describes a project that uses: Kronos / 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 / full work available at URL @@
+https://doi.org/10.1007/s10703-006-0012-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2004173170
@@ Property / OpenAlex ID: W2004173170 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking in dense real-time
@@ Property / cites work: Model-checking in dense real-time / 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 @@
+Q4531762
@@ Property / cites work: Q4531762 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754085
@@ Property / cites work: Q2754085 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771064
@@ Property / cites work: Q2771064 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2842852
@@ Property / cites work: Q2842852 / rank @@
+Normal rank
@@ Property / cites work @@
+Dealing with practical limitations of distributed timed model checking for timed automata
+Normal rank
@@ Property / cites work @@
+Q2848144
@@ Property / cites work: Q2848144 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530809
@@ Property / cites work: Q4530809 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553260
@@ Property / cites work: Q4553260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472254
@@ Property / cites work: Q4472254 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+A scalable parallel algorithm for reachability analysis of very large circuits
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2431767