Risultati della ricerca - Larson, Brian

  • Mostra 1 - 3 risultati su 3
Raffina i risultati
  1. 1
    Copertina

    Formalization of the AADL Run-Time Services with Time Autoría: Larson, Brian R, Ahmad, Ehsan

    Pubblicazione 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

    On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming Autoría: Vašíček, Ondřej, Arias, Joaquin, Fiedor, Jan, Gupta, Gopal, Hall, Brendan, Křena, Bohuslav, Larson, Brian, Vojnar, Tomáš

    Pubblicazione 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  3. 3
    Copertina

    Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming Autoría: Vašíček, Ondřej, Arias, Joaquin, Fiedor, Jan, Gupta, Gopal, Hall, Brendan, Křena, Bohuslav, Larson, Brian, Varanasi, Sarat Chandra, Vojnar, Tomáš

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: