The construction, modeling and verification of PLC programs with LTL-specifications


The construction, modeling and verification of PLC programs with LTL-specifications

Riabukhin Dmitry (Theoretical computer science of Yaroslavl State University postgraduate student, scientific adviser E. V. Kuzmin). Starts at September 18, 2014.

The seminar of the research group

Software Engineering

Back to the list of seminars of ISP RAS