 |
|
| Richard Kemmerer |
A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z
Name
Richard Kemmerer
E-Mail
kemm@cs.ucsb.edu
Homepage
http://www.cs.ucsb.edu/~kemm/
Address
Department of Computer Science University of California at Santa Barbara Room 2159, Engineering I Santa Barbara, CA, USA 93106-5110 Voice: +1-805-893-4232 Fax: +1-805-893-8553
Institution
University of California - Santa Barbara (CS) Publications
2000:
/Dang, 2000/ Three Approximation Techniques for ASTRAL Symbolic Model Checking of Infinite State Real-time System
1999:
/Dang, 1999/ Using the ASTRAL Model Checker to Analyze Mobile IP
1983:
/Kemmerer, 1983/ The Shared Resource Methodology: An Approach to Identifying Storage and Timing channels
See Also
more information at dlpb - Universität Trier
GDPA Online
Last Updated 01.Jan.2002
Updated by Webmaster
Last Revised 01.Jan.2002
Revised by Webmaster
|