Cost enforcement in the real-time specification for Java (Q2460195): 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.1007/s11241-007-9031-4
+Normal rank
@@ Property / OpenAlex ID @@
+W1973741089
@@ Property / OpenAlex ID: W1973741089 / 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 @@
+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