View of Tightly coupled verification of pervasive systems

Return to Article Details Tightly coupled verification of pervasive systems Download Download PDF