Travelled to:1 × Uruguay
Collaborated with:A.Madeira M.A.Martins L.S.Barbosa
Talks about:institut (1) approach (1) reactiv (1) system (1) specif (1) hybrid (1)
Person: José M. Faria
DBLP: Faria:Jos=eacute=_M=
Contributed to:
2011Wrote 1 papers:
- SEFM-2011-MadeiraFMB #approach #hybrid #specification
- Hybrid Specification of Reactive Systems: An Institutional Approach (AM, JMF, MAM, LSB), pp. 269–285.