Non-standard semantics of hybrid systems modelers (Q439952): Difference between revisions

@@ Property / author @@
+Albert Benveniste
@@ Property / author: Albert Benveniste / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6067708
@@ Property / zbMATH DE Number: 6067708 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hybrid systems
@@ Property / zbMATH Keywords: hybrid systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hybrid systems modelers
@@ Property / zbMATH Keywords: hybrid systems modelers / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+non-standard analysis
@@ Property / zbMATH Keywords: non-standard analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+non-standard semantics
@@ Property / zbMATH Keywords: non-standard semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+constructive semantics
@@ Property / zbMATH Keywords: constructive semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Kahn process networks
@@ Property / zbMATH Keywords: Kahn process networks / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+compilation of hybrid systems
@@ Property / zbMATH Keywords: compilation of hybrid systems / rank @@
+Normal rank

Revision as of 00:50, 30 June 2023