Ir al contenido
Gov Contract Finder
Solicitar demo
Menú
← Back to search
Special NoticeActivo

Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)

Descripción

The Defense Advanced Research Projects Agency (DARPA) Information Processing Techniques Office (IPTO) seeks information on research related to Formal Learning and Abstractions for System Heterogeneity (FLASH). Specifically, this RFI seeks information on (i) national-security applications that could benefit in terms of robustness and other operational properties resulting from heterogeneous engineering solutions; and (ii) potential techniques, informed by current research and practice, for the automated synthesis and understanding of high-assurance cyber-physical engineering systems from formal specifications.

Anexos

1 archivo

Contactos

Historial observado de la oportunidad

Este es el historial recopilado por Gov Contract Finder. Las fechas indican cuándo se registró la información o se creó una versión, no cuándo SAM.gov la cambió originalmente. Pueden faltar revisiones anteriores.

Las publicaciones se agrupan por coincidencias; las relaciones entre revisiones son inferidas.

No se ha verificado la publicación raíz original de SAM.gov.

Historial

  1. Versión de la oportunidad

    Información inicial

    Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)

    Licitación: DARPA-SN-27-17

    Publicación: e4ea14eef4df480ea295f13b6b2159ea

    Publicación actual

    Campos modificados: Description

    Información establecida por primera vez: Description

  2. Versión de la oportunidad

    Se observó una nueva oportunidad

    Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)

    Licitación: DARPA-SN-27-17

    Publicación: e4ea14eef4df480ea295f13b6b2159ea

    Publicación actual

    Campos modificados: AAC Code, Active, AdditionalInfoLink, ArchiveDate, ArchiveType, Award$, AwardAmount, AwardDate, AwardNumber, Awardee, BaseType, CGAC, City, ClassificationCode, CountryCode, Department/Ind.Agency, FPDS Code, Industry, Link, NaicsCode, NoticeId, Office, OrganizationType, PopCity, PopCountry, PopState, PopStreetAddress, PopStreetAddress2, PopZip, PostedDate, PrimaryContact, ResponseDeadLine, SecondaryContact, SetASide, SetASideCode, Sol#, State, Sub-Tier, Title, Type, ZipCode, awardeeCageCode, awardeeUei, descriptionUrl, fullParentPathCode, fullParentPathName, groupingConfidence, logicalOpportunityId, naicsCodes, pointOfContact, resourceLinks, samNoticeId, samRootId, solicitationNumber, source, sourceResourceCount, sourceResourceIds

  3. Registro de la oportunidad

    Información inicial

    Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)

    Licitación: DARPA-SN-27-17

    Publicación: e4ea14eef4df480ea295f13b6b2159ea

    Publicación actual

Fuentes oficiales

Aviso en SAM.govsam.gov · Registro oficial del gobierno de EE. UU. (se abre en una pestaña nueva)Texto sin formato

Avisos activos relacionados