Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Skip to content
1 dataset found for "Emergency Operations"
  • Federal

    Formal Methods at Scale 2019 Workshops Report

    Networking and Information Technology Research and Development, Executive Office of the President —

    Formal methods for systems assurance have a rich history spanning half a century. Even in the early days of computing, there were efforts directed at mathematical...
1 dataset found for "Emergency Operations"

You can also access this registry using the API (see API Docs).

Didn't find what you're looking for? Suggest a dataset here.