An Automated Formal Approach to Managing Dynamic Reconfiguration

Authors:

Ian Warren, Jing Sun, Sanjev Krishnamohan and Thiranjith Weerasinghe

Publication Venue:

21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, September 18-22, 2006

When Published:

Sep 18 2006

Attachment	Size
ASE-Warren-Ian.pdf	642.35 KB

by anonymous

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte

Search