Component-based formal modeling of PLC systems

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

zbMATH Keywords

formal modelingfunctional validationPLC system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• D-Finder

Cites Work

• A framework for automated distributed implementation of component-based models
• Finite-amplitude topographic Rossby waves in a channel

This page was built for publication: Component-based formal modeling of PLC systems