✦ LIBER ✦

On construction and verification of PLC programs

✍ Scribed by Kuzmin, E. V.; Sokolov, V. A.

Book ID: 121557728
Publisher: Allerton Press Inc
Year: 2013
Tongue: English
Weight: 202 KB
Volume: 47
Category: Article
ISSN: 0146-4116
DOI: 10.3103/S0146411613070110

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification and optimization of a PLC c

Verification and optimization of a PLC control schedule

✍ Ed Brinksma; Angelika Mader; Ansgar Fehnker 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 351 KB

On verification of programs with goto st

On verification of programs with goto statements

✍ Vladimir Lifschitz 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 293 KB

Specification and verification of GPGPU

Specification and verification of GPGPU programs

✍ Blom, Stefan; Huisman, Marieke; Mihelčić, Matej 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 612 KB

Verification of computational electromag

Verification of computational electromagnetic programs

✍ Nathan Ida 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 672 KB

Although software testing comprises a large body of knowledge and is extensively used in verification and validation (VSrV) of software and software systems, the need to verfiy engineering software posses unique challenges. Electromagnetic programs fall under the category of so-called non-testable p

A Note on Accounting Theory Construction

A Note on Accounting Theory Construction and Verification

✍ WILLIAM J. SCHRADER; ROBERT E. MALCOM 📂 Article 📅 1973 🏛 John Wiley and Sons 🌐 English ⚖ 298 KB

Modeling, specification, and verificatio

Modeling, specification, and verification of automaton programs

✍ E. V. Kuzmin; V. A. Sokolov 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 261 KB