Juan Soto

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 1

Top Topics

Micro Controller

Microscopic Images

Sensor Data Streams

Top Venues

Publications

Jose Enrique Ramón, Isabel Martínez, José Manuel Gandía-Romero, Juan Soto
An Embedded-Sensor Approach for Concrete Resistivity Measurement in On-Site Corrosion Monitoring: Cell Constants Determination. Sensors 21 (7) (2021)
Kerstin Hartig, Jens Gerlach, Juan Soto, Jürgen Busse
Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. FORMS/FORMAT (2010)