Expressiveness of verifiable hierarchical clock systems (Q3005130): Difference between revisions

@@ 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.1080/03081070701794876
+Normal rank
@@ Property / OpenAlex ID @@
+W2103499994
@@ Property / OpenAlex ID: W2103499994 / 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 @@
+Discrete Event Simulation of Hybrid Systems
@@ Property / cites work: Discrete Event Simulation of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+SYSTEM THEORETIC FORMALISMS FOR COMBINED DISCRETE-CONTINUOUS SYSTEM SIMULATION
+Normal rank
@@ Property / cites work @@
+An environment for DEVS-based multiformalism simulation in common lisp/CLOS
+Normal rank
@@ Property / cites work @@
+Analysis of timed systems using time-abstracting bisimulations
+Normal rank
@@ Property / cites work @@
+Q4220896
@@ Property / cites work: Q4220896 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4122858
@@ Property / cites work: Q4122858 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3681970
@@ Property / cites work: Q3681970 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996495
@@ Property / cites work: Q3996495 / rank @@
+Normal rank