The AdaptiV approach to verification of adaptive systems
- Christopher Rouff
- , Richard Buskens
- , Laura Pullum
- , Xiaohui Cui
- , Mike Hinchey
- Lockheed Martin
- Oak Ridge National Laboratory
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review