Simulation logic validation method of hybrid systems applying classical first-order logic (Q2990747)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Simulation logic validation method of hybrid systems applying classical first-order logic |
scientific article; zbMATH DE number 6613163
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Simulation logic validation method of hybrid systems applying classical first-order logic |
scientific article; zbMATH DE number 6613163 |
Statements
10 August 2016
0 references
hybrid programs
0 references
simulation logic formulas
0 references
simulation semantics
0 references
formal deduction rules
0 references
0.7355894446372986
0 references
0.7242370247840881
0 references
0.7193961143493652
0 references
0.7166829705238342
0 references
