Author: Michael R. Lowry
Publications
Co-authors
Productive Colleagues
- I-Ling Yen
- Kinji Mori
- Wei-Tek Tsai
- 5
- 5
- 9
Publications
Yen, I-Ling, Paul, Raymond A., Winter, Victor L., Covan, John M., Dalton, Larry J., Alkalai, Leon, Tai, Ann T., Harper, Rick, Flahive, Barry, Tsai, Wei-Tek, Mojdehbakhsh, Ramin, Rayadurgam, Sanjai, Mori, Kinji, Lowry, Michael R. (1998): Key Applications for High-Assurance Systems. In IEEE Computer, 31 (4) pp. 35-45.
Lowry, Michael R. (2001): Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic?. In: 5th IEEE International Symposium on Requirements Engineering RE 2001 27-31 August, 2001, Toronto, Canada. pp. 12-13. https://csdl.computer.org/comp/proceedings/re/2001/1125/00/11250012abs.htm