Towards an automated development methodology for dependable systems with application to sensor networks
- Michael G. Hinchey
- , James L. Rash
- , Christopher A. Rouff
- NASA Goddard Space Flight Center
- SAIC
Research output: Contribution to conference › Paper › peer-review