Link Details: |
University of Pennsylvania, Philadelphia. Goal: develop methods, tools, systems to facilitate designing and implementing reliable distributed RT systems. Current projects: developing specification and analysis methods for RT systems, probabilistic modelin |