Monografie

Induction-based Verification of Synchronous and Hybrid Programs

zu Verbundenen Objekten

Sprache
Englisch
Identifier
1150704403

Beteiligte Personen und Organisationen
Li, Xian
Schneider, Klaus

URN
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
26.01.2023, 13:57 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Monografie

Beteiligte

  • Li, Xian
  • Schneider, Klaus

Ähnliche Objekte (12)

Interactive Verification of Synchronous Systems

Monografie

Interactive Verification of Synchronous Systems

Efficient Compilation of Cyclic Synchronous Programs

Monografie

Efficient Compilation of Cyclic Synchronous Programs

Verification of pointer programs

Monografie

Verification of pointer programs

Tight WCRT analysis of synchronous C programs

Monografie

Tight WCRT analysis of synchronous C programs

Induction-based Verification of Timed Systems

Monografie

Induction-based Verification of Timed Systems

Synthesis of Synchronous Programs to Parallel Software Architectures

Monografie

Synthesis of Synchronous Programs to Parallel Software Architectures

Synthesis of distributed systems from synchronous dataflow programs

Monografie

Synthesis of distributed systems from synchronous dataflow programs

Separate Translation of Synchronous Programs to Guarded Actions

Monografie

Separate Translation of Synchronous Programs to Guarded Actions

Synthesis of synchronous programs to parallel software architectures

Monografie

Synthesis of synchronous programs to parallel software architectures

Verification of JavaCard programs

Monografie

Verification of JavaCard programs

Verification of Java card programs

Monografie

Verification of Java card programs

Verification of business rules programs

Monografie

Verification of business rules programs

Verbundene Objekte