Author: Michael R. Lowry

Publications

Co-authors

Ramin Mojdehbakhsh

1

Sanjai Rayadurgam

1

Kinji Mori

1

Productive Colleagues

I-Ling Yen

5

Kinji Mori

5

Wei-Tek Tsai

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