scientific article
From MaRDI portal
Publication:2753753
zbMath0976.68577MaRDI QIDQ2753753
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Control/observation systems involving computers (process control, etc.) (93C83) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Temporal Logic for Programmable Logic Controllers ⋮ Design of a PLC control program for a batch plant VHS case study 1 ⋮ Survey on Directed Model Checking ⋮ Verifying time partitioning in the DEOS scheduling kernel
Uses Software
This page was built for publication:
