Control and synthesis of non-interferent timed systems (Q5265904): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of opaque systems with static and dynamic masks
+Normal rank
@@ Property / cites work @@
+Formalizing non-interference for a simple bytecode language in Coq
+Normal rank
@@ Property / cites work @@
+On observability of discrete-event systems
@@ Property / cites work: On observability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of timed discrete-event systems under partial observation
+Normal rank
@@ Property / cites work @@
+Modifying Security Policies for the Satisfaction of Intransitive Non-Interference
+Normal rank