Home
  • About SRG
  • Research
  • People
  • Publications
  • Alumni
  • Past Projects
Systems Software Research Group @ University of Illinois at Urbana-Champaign

Formal Methods

Provably Correct Pervasive Computing Environments

Submitted by rhc on Thu, 03/26/2009 - 22:28
  • Ambient Calculus
  • Formal Methods
  • Model Checking
  • paper
  • pervasive computing
  • Verification
Provably Correct Pervasive Computing Environments, Ranganathan, Anand, and Campbell Roy H. , Percom 2008, Hong Kong, p.160-169, (2008)
Syndicate content

User login

  • Request new password

Search

THEME DESIGN Copyright © 2009 under GPL by Tribute Media. Site Powered by Drupal.