Contract based verification of IEC 61499.

Per Lindgren Marcus Lindner David Pereira Luís Miguel Pinho

Published in: INDIN (2016)

Keyphrases

model checking
control system
supply chain
interactive evolutionary computation
revenue sharing
multi agent
formal verification
face verification
smart grid
temporal logic
moral hazard
asynchronous circuits
signature verification
formal analysis
database
genetic algorithm
real world
databases
data sets