MR4UM: a framework for adding fault tolerance to UML state diagrams (Q391245): Difference between revisions

@@ Property / author @@
+Sandeep S. Kulkarni
@@ Property / author: Sandeep S. Kulkarni / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MR4UM
@@ Property / describes a project that uses: MR4UM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sycraft
@@ Property / describes a project that uses: Sycraft / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Vertaf
@@ Property / describes a project that uses: Vertaf / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ 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.1016/j.tcs.2012.10.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2088452584
@@ Property / OpenAlex ID: W2088452584 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+From MITL to Timed Automata
@@ Property / cites work: From MITL to Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of fault-tolerant concurrent programs
@@ Property / cites work: Synthesis of fault-tolerant concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736872
@@ Property / cites work: Q4736872 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249561
@@ Property / cites work: Q4249561 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank