Travelled to:1 × United Kingdom
Collaborated with:J.Hubaux
Talks about:methodolog (1) perform (1) system (1) specif (1) formal (1) evalu (1) engin (1) coupl (1) new (1)
Person: Juan-José Martins
 DBLP: Martins:Juan=Jos=eacute=
 DBLP: Martins:Juan=Jos=eacute=
Contributed to:
Wrote 1 papers:
- FME-1996-MartinsH #evaluation #performance #specification
- A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation (JJM, JPH), pp. 140–159.












