Refinement preserving approximations for the design and verification of heterogeneous systems (Q2642667): Difference between revisions

@@ Property / author @@
-Alberto L. Sangiovanni-Vincentelli
@@ Property / author: Alberto L. Sangiovanni-Vincentelli / rank @@
-Normal rank
@@ Property / author @@
+Alberto L. Sangiovanni-Vincentelli
@@ Property / author: Alberto L. Sangiovanni-Vincentelli / 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.1007/s10703-006-0024-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2164198178
@@ Property / OpenAlex ID: W2164198178 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57380515
@@ Property / Wikidata QID: Q57380515 / rank @@
+Normal rank
@@ Property / cites work @@
+Timing verification by successive approximation
@@ Property / cites work: Timing verification by successive approximation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473735
@@ Property / cites work: Q4473735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4316881
@@ Property / cites work: Q4316881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4326390
@@ Property / cites work: Q4326390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473726
@@ Property / cites work: Q4473726 / rank @@
+Normal rank
@@ Property / cites work @@
+Property preserving abstractions for the verification of concurrent systems
+Normal rank
@@ Property / cites work @@
+Models for concurrency: Towards a classification
@@ Property / cites work: Models for concurrency: Towards a classification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4060097
@@ Property / cites work: Q4060097 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2642667