Login / Signup
Sound and mechanised compositional verification of input-output conformance.
Augusto Sampaio
Sidney C. Nogueira
Alexandre Mota
Yoshinao Isobe
Published in:
Softw. Test. Verification Reliab. (2014)
Keyphrases
</>
input output
internal states
protocol specification
model checking
data envelopment analysis
neural network
noise cancellation
fuzzy model
fuzzy neural network
artificial neural networks
response time
fuzzy controller
state transition