Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Reed, Joy - School of Computing, Armstrong Atlantic State University
Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and
Combining Independent Speci cations J.N. Reed 1
Under consideration for publication in Formal Aspects of Computing Responsiveness of Interoperating
Ossabest: E-Exploration of Ossabaw Island for Students and Teachers: Information Technologies Education Meets Georgia Performance Standards
Formal Methods and IndustrialStrength Computer Networks ?
Verifying EndtoEnd Protocols Using Induction with CSP/FDR
Deductive Reasoning versus Model Checking: Two Formal Approaches for
