Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications

Sandeep Patil, Dmitry Drozdov, Victor Dubinin, Valeriy Vyatkin

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

11 Citations (Scopus)
Original languageEnglish
Title of host publicationDoctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015
EditorsL. M. Camarinha-Matos, T. A. Baldissera, G. Di Orio, F. Marques
Place of PublicationGermany
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Publication series

ISSN (Print)1868-4238

Cite this