Cost enforcement in the real-time specification for Java (Q2460195): 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 @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Concurrent and Real-Time Programming in Ada 2005
@@ Property / cites work: Concurrent and Real-Time Programming in Ada 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+A Ravenscar-compliant run-time kernel for safety-critical systems
+Normal rank
@@ Property / cites work @@
+Verifying time partitioning in the DEOS scheduling kernel
+Normal rank