Specification transformers: a predicate transformer approach to composition.
Michel CharpentierK. Mani ChandyPublished in: Acta Informatica (2004)
Keyphrases
- partial discharge
- high voltage
- high level
- formal verification
- web service composition
- fuzzy logic
- formal specification
- fault diagnosis
- artificial intelligence
- web services composition
- evolutionary algorithm
- self organizing maps
- user defined
- service composition
- power system
- control system
- horn clauses
- distribution network
- multi agent
- power transformers
- web services
- music composition
- real world