scientific article; zbMATH DE number 1836374
From MaRDI portal
Publication:4782047
zbMATH Open1009.68074MaRDI QIDQ4782047FDOQ4782047
Authors: S. Lampérière-Couffin, Jean-Jacques Lesage 
Publication date: 27 November 2002
Title of this publication is not available (Why is that?)
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)
Cited In (18)
- Title not available (Why is that?)
- The formal design of distributed controllers with \(_{\text d}\text{SL}\) and spin
- Title not available (Why is that?)
- Title not available (Why is that?)
- Re-engineering approach for PLC programs based on formal methods.
- Automata-based analysis of stage suspended boom systems
- Component-based formal modeling of PLC systems
- Formal verification of programs specified with signal: Application to a power transformer station controller
- Verification of programmable logic controller code using model checking and static analysis
- Mathematical analysis of stage-based programmable logic controller
- Design of a PLC control program for a batch plant VHS case study 1
- Automated Technology for Verification and Analysis
- Title not available (Why is that?)
- Leveraging Horn clause solving for compositional verification of PLC software
- Towards interactive verification of programmable logic controllers using modal Kleene algebra and KIV
- Title not available (Why is that?)
- The Grafpol programming language for programmable logic controllers
- 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 Q4782047)
