Login / Signup

Tracing Integration Analysis in Component-Based Formal Specifications.

Martín López NoresJosé Juan Pazos-AriasJorge García DuqueAna Belén Barragáns-MartínezRebeca P. Díaz RedondoAna Fernández VilasAlberto Gil-SollaManuel Ramos Cabrer
Published in: FMOODS (2005)
Keyphrases
  • formal specification
  • data analysis
  • statistical analysis
  • high level
  • cooperative
  • formal methods