An Algebraic Approach for PLC Programs Verification

doi 10.1109/wodes.2002.1167703
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE Comput. Soc

Related search

An Algebraic Verification of a Mobile Network

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1992English

Differential-Algebraic Dynamic Logic for Differential-Algebraic Programs

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2008English

Algebraic Process Verification

2001English

An Algebraic Approach to Information Theory

2010English

G4ltl-St: Automatic Generation of PLC Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

An Algebraic Approach to Non-Malleability

2014English

An Algebraic Approach to Multiresolution Analysis

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
2005English

Automating Deductive Verification for Weak-Memory Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Automatic Formulation of Stochastic Programs via an Algebraic Modeling Language

Computational Management Science
Information SystemsManagement Information Systems
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy