Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Bruno Denis
Logic Controllers Dependability Verification Using a Plant Model
IFAC Proceedings Volumes
Related publications
Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics
International Journal of Software Engineering and Knowledge Engineering
Computer Graphics
Computer Networks
Communications
Computer-Aided Design
Artificial Intelligence
Software
Designing Dependable Logic Controllers Using Algebraic Specifications
IFAC Proceedings Volumes
Programmable Logic Controllers
Logic Verification System for Power Plant Sequence Diagrams.
Journal of Nuclear Science and Technology
High Energy Physics
Nuclear
Engineering
Nuclear Energy
Systematic Generation of Logic Controllers in a Model-Based Multi-Formalism Design Environment
IFAC Proceedings Volumes
Dependability Verification for Contextual/Runtime Goal Modelling
Security Policy Development: Towards a Life-Cycle and Logic-Based Verification Model
American Journal of Applied Sciences
Multidisciplinary
Complex Verification of Rule-Based Knowledge Bases Using VTF-logic
Ontology of designing
