Katalog der Deutschen Nationalbibliothek

Springe direkt zu:

Katalog (Beta)

Medien

Online frei zugreifbar
Online frei zugreifbar

Janis Kröger, Björn Koopmann, Ingo Stierand u. a.

Contract-based specification of mode-dependent timing behavior

Erschienen in: Innovations in systems and software engineering : a NASA journal 7.9.2023

Titel

Contract-based specification of mode-dependent timing behavior

Beteiligt

Janis Kröger (Verfasser)
Björn Koopmann (Verfasser)
Ingo Stierand (Verfasser)
Martin Fränzle (Verfasser)
SpringerLink (Online service) (Sonstige)

Erschienen in

Innovations in systems and software engineering : a NASA journal 7.9.2023, Seite 1-17

Erschienen

2023

Sprache

Englisch

Land

Deutschland

Themen­gebiet

Informatik

Thema

Software Engineering.
Artificial Intelligence.
Computer and Information Systems Applications.

Persistent Identifier

urn:nbn:de:101:1-2023112012024687002464 (URN)
10.1007/s11334-023-00531-4 (DOI)

Datensatz-ID

1310517029
Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

DNB-Portal