Hernandez Armando | System Informatics

Armando Hernandez

Russia, Vélizy-Villacoublay

Research area

formal modeling and verification of embedded systems

Affiliation & position

Groupe PSA — Embedded SW Senior Expert VP

E-mail

armando.hernandez1@mpsa.com

List of Articles in System Informatics:

V. Todorov S. Taha F. Boulanger A. Hernandez Proving properties of Discrete-Valued Functions using Deductive Proof: Application to the Square Root // System Informatics. — 2019. — # 14. — P. 45-54