A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification.
Gustavo CarvalhoAugusto SampaioAlexandre MotaPublished in: ICFEM (2013)
Keyphrases
- input output
- internal states
- noise cancellation
- constraint satisfaction problems
- petri net
- decomposition methods
- state transition
- verification method
- model checking
- constraint satisfaction
- neural network
- fuzzy modeling
- colored petri nets
- np complete
- fuzzy model
- nonlinear functions
- data envelopment analysis
- web services