Ignacio D. Lopez-Miguel | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Borja Fernandez Adiego
2 publications
Jean-Charles Tournier
2 publications
Enrique Blanco
1 publication
Tomasz Ladzinski
1 publication
Frederic Havart
1 publication

research

∙ 03/30/2022

Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program

An important aspect of many particle accelerators is the constant evolut...

0 Borja Fernandez Adiego, et al. ∙

research

∙ 03/30/2022

PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller

Programmable Logic Controllers (PLC) are widely used for industrial auto...

0 Ignacio D. Lopez-Miguel, et al. ∙