scientific article; zbMATH DE number 1755142

MaRDI QIDQ4535176zbMATH OpenFDO

Authors P. Deussen

Publication date 13 June 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2075/20750144

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• scientific article; zbMATH DE number 1836374
• scientific article; zbMATH DE number 1836378
• Temporal Logic for Programmable Logic Controllers
• scientific article; zbMATH DE number 177254
• Towards interactive verification of programmable logic controllers using modal Kleene algebra and KIV

Cited in

(4)

• Temporal Logic for Programmable Logic Controllers
• scientific article; zbMATH DE number 1836374 (Why is no real title available?)
• scientific article; zbMATH DE number 1836378 (Why is no real title available?)
• Verification of programmable logic controller code using model checking and static analysis

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4535176)