Juan-Jos Martins
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1996–1996
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | FM | A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation. | Juan-Jos Martins, Jean-Pierre Hubaux |
| 1996 | MASCOTS | Evaluating Performance from Formal Specification. | Juan-Jos Martins, Jean-Pierre Hubaux |