scientific article; zbMATH DE number 1755142

zbMATH Open0986.68017MaRDI QIDQ4535176FDOQ4535176

Authors: P. Deussen 

Publication date: 13 June 2002

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Verification of programmable logic controller code using model checking and static analysis
• Temporal Logic for Programmable Logic Controllers

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)