Travelled to:1 × Austria
1 × Canada
Collaborated with:S.Tlili A.Belghith B.Dridi S.Hidouri F.J.Ortiz A.S.Martínez B.Álvarez A.Iborra
Talks about:teleoper (1) softwar (1) scalabl (1) develop (1) control (1) system (1) compil (1) verif (1) secur (1) robot (1)
Person: José M. Fernández
DBLP: Fern=aacute=ndez:Jos=eacute=_M=
Contributed to:
2014
2002Wrote 2 papers:
- SCAM-2014-TliliFBDH #scalability #security #verification
- Scalable Security Verification of Software at Compile Time (ST, JMF, AB, BD, SH), pp. 115–124.
- AdaEurope-2002-OrtizMAIF #ada #development #uml #using
- Development of a Control System for Teleoperated Robots Using UML and Ada95 (FJO, ASM, BÁ, AI, JMF), pp. 113–124.