Export: The ASSERT Virtual Machine Kernel: Support for preservation of temporal properties.

Zamorano Flores, Juan Rafael and Puente Alfaro, Juan Antonio de la and Pulido Pavón, José Antonio and Urueña Pascual, Santiago (2008). The ASSERT Virtual Machine Kernel: Support for preservation of temporal properties.. In: "Data Systems in Aerospace DASIA 2008", 27/05/2008-30/05/2008, Palma de Mallorca, España. ISBN 978-3-902661-00-5. https://doi.org/10.3182/20080706-5-KR-1001.3469..

Please select an output format:

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM