![](/img/cover-not-exists.png)
[IEEE 2014 IEEE Emerging Technology and Factory Automation (ETFA) - Barcelona, Spain (2014.9.16-2014.9.19)] Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) - Verification of diagnosability based on compositional branching bisimulation
Noori-Hosseini, Mona, Lennartson, BengtYear:
2014
Language:
english
DOI:
10.1109/etfa.2014.7005332
File:
PDF, 272 KB
english, 2014