Juan-José Martins

According to our database¹, Juan-José Martins authored at least 2 papers in 1996.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1996

Evaluating Performance from Formal Specification.

[BibT_eX]

[DOI]

Proceedings of the MASCOTS '96, 1996

A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation.

[BibT_eX]

[DOI]

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996