Monografie

Formal analysis of control systems via inductive approaches : tackling scalability, conservatism, and complex specifications

zu Verbundenen Objekten

Sprache
Englisch
Identifier
1309617929

Thema
Verifikation; Sicherheitskritisches System; Zeitdiskretes System; Model Checking; Hybrides System; Softwarespezifikation

Beteiligte Personen und Organisationen
Anand, Mahathi
Zamani, Majid

DOI
10.5282/edoc.32586
URN
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
09.01.2024, 09:53 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

Ähnliche Objekte (12)

Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving

Monografie

Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving

Logic : Inductive

Monografie

Logic : Inductive

D27.1 Recommendations About Scalability

Monografie

D27.1 Recommendations About Scalability

Long live “Conservatism”!

Artikel

Long live “Conservatism”!

Liberalism versus conservatism

Monografie

Liberalism versus conservatism

Chapter XIV. Conservatism

Kapitel

Chapter XIV. Conservatism

Tackling Life

Plakat

Tackling Life

Tackling Life

Standfoto

Tackling Life

Tackling Life

Standfoto

Tackling Life

Tackling Life

Standfoto

Tackling Life

Tackling Life

Standfoto

Tackling Life

Tackling Life

Standfoto

Tackling Life

Verbundene Objekte