Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Florian Benedikt Krebs

Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Related publications

Programmable Logic Controllers

2012English

Greedy-Like Algorithms in Modal Kleene Algebra

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Logic Controllers Dependability Verification Using a Plant Model

IFAC Proceedings Volumes
2006English

Evaluation of a Business Continuity Plan Using Process Algebra and Modal Logic

2009English

Kleene Algebra With Hypotheses

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Certification of Compiler Optimizations Using Kleene Algebra With Tests

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Programmable Controllers

English

Programmable Controllers

English

Programmable Controllers

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy