Component-based formal modeling of PLC systems
From MaRDI portal
Publication:2375648
DOI10.1155/2013/721624zbMath1267.68144OpenAlexW2095957642WikidataQ59004019 ScholiaQ59004019MaRDI QIDQ2375648
Yong Guan, Jie Zhang, Luo Liming, Rui Wang, Xiaojuan Li
Publication date: 14 June 2013
Published in: Journal of Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1155/2013/721624
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
This page was built for publication: Component-based formal modeling of PLC systems