Hugo Daniel Macedo

Publikation

Publikationer pr. år 2013 2021 2022 2024

• 36 Konferencebidrag i proceedings
• 6 Preprint
• 4 Tidsskriftartikel
• 3 Bidrag til bog/antologi
• 8 Mere
  • 3 Paper
  • 2 Rapport
  • 1 Antologi
  • 1 Konferenceabstrakt til konference
  • 1 Andet bidrag

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2021

  VDM Combinatorial Testing Guidelines

  Battle, N., Macedo, H. D. & Larsen, P. G., jan. 2021, 71 s.

  Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning › peer review
• 2018

  The INtegrated TOolchain for Cyber-Physical Systems (INTO-CPS): a Guide

  Larsen, P. G., Fitzgerald, J., Woodcock, J., König, C., Basagiannis, S., Brosse, E., Gomes, C., Cabral, J., Macedo, H. D., Thule, C., Sadovykh, A., Zamfirescu, C.-B., Neghina, M., Pierce, K., Gamble, C. & Payne, R., okt. 2018, 93 s.

  Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning › peer review