Temporal Specification Mining for IEC 61499 Function Blocks Using Evolutionary Algorithms and Model Checking

Author(s):  
Daniil Chivilikhin
Author(s):  
Li Hsien Yoong ◽  
Partha S. Roop ◽  
Zeeshan E. Bhatti ◽  
Matthew M. Y. Kuo

2017 ◽  
pp. 123-144
Author(s):  
Reinhard Hametner ◽  
Ingo Hegny ◽  
Alois Zoitl

Sign in / Sign up

Export Citation Format

Share Document