Applying Model Checking to Industrial-Sized PLC Programs

标题

作者

关键词

出版物

Volume 11, Issue 6, Pages 1400-1410

出版商

Institute of Electrical and Electronics Engineers (IEEE)

发表日期

2015-10-10

DOI

10.1109/tii.2015.2489184

Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.

Create Now

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started