Katalog der Deutschen Nationalbibliothek

Go to:

Catalogue (Beta)

Media

Free online access
Free online access

Janis Kröger, Björn Koopmann, Ingo Stierand et al.

Contract-based specification of mode-dependent timing behavior

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

Title

Contract-based specification of mode-dependent timing behavior

Involved 

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

Published in

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

Published

2023

Language

Englisch

Country

Deutschland

Topic

Informatik

Subject

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)

Record ID

1310517029
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal