Home > Engineering and Technology > Computer Technology > Formal Methods
Web Sites
Bibliography of Measures of Complexity
bruce.edmonds.name/combib/ reviews
A bibliography on the philosophy and measurement of complexity.
bruce.edmonds.name/combib/ reviewsThe World-Wide Web Virtual Library: Formal Methods archive.comlab.ox.ac.uk/formal-methods.html reviews
archive.comlab.ox.ac.uk/formal-methods.html reviewsThe World-Wide Web Virtual Library: The Z notation archive.comlab.ox.ac.uk/z.html reviews
archive.comlab.ox.ac.uk/z.html reviewsLaboratory for Applied Logic lal.cs.byu.edu/ reviews
LABORATORY MISSION The Laboratory for Applied Logic is a research unit of the Department of Computer Science at Brigham Young University. The laboratory specializes in applying mathematical methods to problems in computer dependability. RESEARCH PROJECTS The research conducted in the LAL is currently divided into two major areas: verification for multi-device communication protocols, ...
lal.cs.byu.edu/ reviewsShemesh.larc.nasa.govh shemesh.larc.nasa.gov/ reviews
Shemesh Web Server The following sites reside on this server: NASA Langley Formal Methods Team Object-Oriented Technology in Aviation Workshop 15th International Conference on Theorem Proving in Higher Order Logics NASA Langley Colloquium/Sigma Lectures Streamlining Software Aspects of Certification Curator and Responsible NASA Official: C. Michael Holloway last modified: 6 February 2002 ...
shemesh.larc.nasa.gov/ reviews