A SOC-based formal specification and verification of hybrid systems (Q2787347)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6545653
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A SOC-based formal specification and verification of hybrid systems |
scientific article; zbMATH DE number 6545653 |
Statements
A SOC-Based Formal Specification and Verification of Hybrid Systems (English)
0 references
25 February 2016
0 references
hybrid transition systems
0 references
SRML
0 references
differential equations
0 references
dTL
0 references
0.8032218217849731
0 references
0.7723516821861267
0 references
0.7669009566307068
0 references
0.7628950476646423
0 references
