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=
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.