Borja Fernandez Adiego
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2013–2014
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | FORTE | Formal Verification of Complex Properties on PLC Programs. | Dniel Darvas, Borja Fernandez Adiego, Andrs Vrs, Tams Bartha, Enrique Blanco Viuela, Vctor M. Gonzlez Surez |
| 2013 | INDIN | Model-based automated testing of critical PLC programs. | Borja Fernandez Adiego, Enrique Blanco Viuela, Vctor M. Gonzlez Surez, Simon Bliudze |