Kein Cover

Information-flow interfaces

Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra

Titel
Information-flow interfaces
Art des Inhalts
Teil eines Werks
Verfassangaben
by Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Autor(en)
  • Bartocci, Ezio
  • Ferrère, Thomas
  • Henzinger, Thomas
  • Nickovic, Dejan
  • Oliveira Da Costa, Ana Alexandra
Organisation(en)
  • SpringerLink (Online service)
Zeitliche Einordnung
Erscheinungsdatum: 2024
Umfang/Format
1 Online-Ressource.
DOI
10.1007/s10703-024-00447-0
Online
https://doi.org/10.1007/s10703-024-00447-0
Sprache
eng
Schlagwörter
Frühere/spätere Titel
  • Enthalten in: Formal methods in system design
  • Enthalten in: Formal methods in system design
  • Enthalten in: Formal methods in system design
Stand
12.02.2026 17:05
Im Katalog seit
07.03.2026

Beschreibung vom Verlag

← Zurück zur Startseite