Stepwise refinement of sequence diagrams with soft real-time constraints (Q2353401): Difference between revisions

@@ Property / describes a project that uses @@
+MARTE
@@ Property / describes a project that uses: MARTE / 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.jcss.2015.03.003
+Normal rank
@@ Property / OpenAlex ID @@
+W1997246871
@@ Property / OpenAlex ID: W1997246871 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3370739
@@ Property / cites work: Q3370739 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707340
@@ Property / cites work: Q3707340 / rank @@
+Normal rank
@@ Property / cites work @@
+Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams
+Normal rank
@@ Property / cites work @@
+Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
+Normal rank
@@ Property / cites work @@
+Real-Time Systems
@@ Property / cites work: Real-Time Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Semantics for Timed MSC
@@ Property / cites work: A Semantics for Timed MSC / rank @@
+Normal rank
@@ Property / cites work @@
+LSCs: Breathing life into message sequence charts
@@ Property / cites work: LSCs: Breathing life into message sequence charts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4421296
@@ Property / cites work: Q4421296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic communicating processes
@@ Property / cites work: Probabilistic communicating processes / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791844
@@ Property / cites work: Q4791844 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and Development of Interactive Systems
+Normal rank
@@ Property / cites work @@
+Real Analysis and Probability
@@ Property / cites work: Real Analysis and Probability / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2353401