A SOC-Based Formal Specification and Verification of Hybrid Systems.
Ning YuMartin WirsingPublished in: WADT (2014)
Keyphrases
- formal specification
- hybrid systems
- model checking
- concurrent systems
- formal methods
- black box
- neural network
- temporal logic
- protocol specification
- meta learning
- soft computing
- intelligent systems
- computational intelligence
- artificial intelligence
- discrete event
- process algebra
- grid workflow
- reverse engineering
- simulation model
- asynchronous circuits
- database
- rough sets
- fuzzy logic