Suchergebnisse - Larson, Brian

  • Treffer 1 - 3 von 3
Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    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áš

    Veröffentlicht 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

    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áš

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: