SAT-based verification for timed component connectors (Q433331): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T20
@@ Property / Mathematics Subject Classification ID: 68T20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6055918
@@ Property / zbMATH DE Number: 6055918 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+timed constraint automata
@@ Property / zbMATH Keywords: timed constraint automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+abstraction refinement
@@ Property / zbMATH Keywords: abstraction refinement / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model checking
@@ Property / zbMATH Keywords: model checking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+SAT
@@ Property / zbMATH Keywords: SAT / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+component-based software engineering
@@ Property / zbMATH Keywords: component-based software engineering / rank @@
+Normal rank

Revision as of 00:24, 30 June 2023