Aller au contenu
VuFind
  • Connexion
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
Recherche avancée
  • Citer
  • Envoyer par SMS
  • Envoyer par courriel
  • Imprimer
  • Exporter les notices
    • Exporter vers RefWorks
    • Exporter vers EndNoteWeb
    • Exporter vers EndNote
  • Ajouter aux favoris
  • Permalien
Image de couverture de livre

Enregistré dans:
Détails bibliographiques
Auteurs principaux: Xie, Tao, Harel, David, Ran, Dezhi, Li, Zhenwen, Li, Maoliang, Yang, Zhi, Wang, Leye, Chen, Xiang, Zhang, Ying, Zhang, Wentao, Li, Meng, Zhang, Chen, Li, Linyi, Marron, Assaf
Format: Preprint
Publié: 2025
Sujets:
Artificial Intelligence
Accès en ligne:https://arxiv.org/abs/2501.07487
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
  • Exemplaires
  • Description
  • Table des matières
  • Commentaires
  • Documents similaires
  • Affichage MARC

Internet

https://arxiv.org/abs/2501.07487

Documents similaires

  • An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models
    par: Ran, Dezhi, et autres
    Publié: (2025)
  • Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems
    par: Harel, David, et autres
    Publié: (2024)
  • DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
    par: Yu, Hao, et autres
    Publié: (2025)
  • A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification
    par: Marron, Assaf, et autres
    Publié: (2025)
  • Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and Conditions
    par: Marron, Assaf, et autres
    Publié: (2020)

Options de recherche

  • Historique de recherche
  • Recherche avancée

Autres modes de recherche

  • Parcourir le catalogue
  • Parcours alphabétique
  • Explorer avec les canaux
  • Exemplaires mis en réserve pour un cours
  • Nouveautés

Besoin d'aide ?

  • Astuces pour la recherche
  • Contacter un bibliothécaire
  • FAQ