Travelled to:1 × Norway
Collaborated with:W.Ahrendt G.J.Pace G.Schneider
Talks about:properti (1) languag (1) control (1) static (1) specif (1) runtim (1) verif (1) data (1)
Person: Jesús Mauricio Chimento
DBLP: Chimento:Jes=uacute=s_Mauricio
Contributed to:
2015Wrote 1 papers:
- FM-2015-AhrendtCPS #runtime #specification #verification
- A Specification Language for Static and Runtime Verification of Data and Control Properties (WA, JMC, GJP, GS), pp. 108–125.