H ? « ‹ ← → › »

Language peer sets for D-Spec:

D-Spec(ID:7779/)

alternate simple view

Specification lagnuage for the DeSiDeRaTa system.
References:
  • Ryan Detter, Barbara Pfarr - Goddard Space Flight (2000) Ryan Detter, Barbara Pfarr - Goddard Space Flight Center, Lonnie R. Welch, Brett Tjaden, Eui-Nam Huh "Computing & Network Resources for Spacecraft Systems: An Adaptive Resource Management Approach" MAPLD 2000 Online powerpoint slides
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder