Robust Computation Tree Logic

Nayak, Satya Prakash; Neider, Daniel; Roy, Rajarshi; Zimmermann, Martin

doi:10.1007/978-3-031-06773-0_29

Lokale TagsFreigabegeschichteDetailsÜbersicht

Robust Computation Tree Logic

Nayak, S. P., Neider, D., Roy, R., & Zimmermann, M. (2022). Robust Computation Tree Logic. In J. V. Deshmukh, K. Havelund, & I. Perez (Eds.), NASA Formal Methods (pp. 538-556). Berlin: Springer. doi:10.1007/978-3-031-06773-0_29.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-000A-9ADB-2 Versions-Permalink: https://hdl.handle.net/21.11116/0000-000A-9ADD-0

Genre: Konferenzbeitrag

ausblenden:

Urheber:
Nayak, Satya Prakash¹, Autor
Neider, Daniel¹, Autor
Roy, Rajarshi¹, Autor
Zimmermann, Martin², Autor

Affiliations:
1Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292
2External Organizations, ou_persistent22

Inhalt

einblenden:

Details

einblenden:

ausblenden:

Sprache(n): eng - English

Datum: Online veröffentlicht: 2022Erschienen: 2022

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: BibTex Citekey: Nayak_NFM22
DOI: 10.1007/978-3-031-06773-0_29

Art des Abschluß: -

Veranstaltung

einblenden:

ausblenden:

Titel: 14th NASA Formal Methods Symposium

Veranstaltungsort: Pasadena, CA, USA

Start-/Enddatum: 2022-05-24 - 2022-05-27

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:

ausblenden:

Titel: NASA Formal Methods

Kurztitel : NFM 2022

Untertitel : 14th International Symposium, NFM 2022 ; Pasadena, CA, USA, May 24-27, 2022 ; Proceedings

Genre der Quelle: Konferenzband

Urheber:
Deshmukh, Jyotirmov V.¹, Herausgeber
Havelund, Klaus¹, Herausgeber
Perez, Ivan¹, Herausgeber

Affiliations:
1 External Organizations, ou_persistent22

Ort, Verlag, Ausgabe: Berlin : Springer

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 538 - 556 Identifikator: ISBN: 978-3-031-06772-3

Quelle 2

einblenden:

ausblenden:

Titel: Lecture Notes in Computer Science

Kurztitel : LNCS

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

Seiten: - Band / Heft: 13260 Artikelnummer: - Start- / Endseite: - Identifikator: -

Datensatz

Basisdaten

Dateien

Externe Referenzen

Urheber

Inhalt

Details

Veranstaltung

Entscheidung

Projektinformation

Quelle 1

Quelle 2