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

@@ 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