Stephanie M. White
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1992–1999
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | ICECCS | Practical Considerations in Protocol Verification: The E-2C Case Study. | Yifei Dong, Scott A. Smolka, Eugene W. Stark, Stephanie M. White |
| 1995 | ICECCS | A requirements taxonomy for specifying complex systems. | Stephanie M. White, Michael Edwards |
| 1994 | RE | Comparative analysis of embedded computer system requirements methods. | Stephanie M. White |
| 1993 | RE | Requirements engineering in systems engineering practice. | Stephanie M. White |
| 1992 | RSP | A pragmatic formal method (PFM) for computer system definition and execution. | Stephanie M. White |