Contract-based specification of mode-dependent timing behavior

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource, 1 online resource.
Sprache
Englisch

Erschienen in
Contract-based specification of mode-dependent timing behavior ; day:7 ; month:9 ; year:2023 ; pages:1-17
Innovations in systems and software engineering ; (7.9.2023), 1-17

Klassifikation
Informatik

Urheber
Kröger, Janis
Koopmann, Björn
Stierand, Ingo
Fränzle, Martin
Beteiligte Personen und Organisationen
SpringerLink (Online service)

DOI
10.1007/s11334-023-00531-4
URN
urn:nbn:de:101:1-2023112012024687002464
Rechteinformation
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:32 MESZ

Datenpartner

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

Beteiligte

Ähnliche Objekte (12)

Modeling, Specification and Verification of Smart Contract Applications

Modeling, Specification and Verification of Smart Contract Applications

On the timing option in a futures contract

Arbeitspapier

On the timing option in a futures contract

Visual Specification and Analysis of Contract-Based Software Architectures

Visual Specification and Analysis of Contract-Based Software Architectures

Spike timing dependent plasticity implements reinforcement learning

Spike timing dependent plasticity implements reinforcement learning

Spatial filter by spike timing dependent plasticity

Spatial filter by spike timing dependent plasticity

Legacy software migration based on timing contract aware real-time execution environments

Legacy software migration based on timing contract aware real-time execution environments

Mode-dependent magnonic noise

Mode-dependent magnonic noise

Cilia in the Striatum Mediate Timing-Dependent Functions

Cilia in the Striatum Mediate Timing-Dependent Functions

Spike-timing-dependent plasticity and temporal input statistics

Spike-timing-dependent plasticity and temporal input statistics

Marriage A-la-Mode, (Plate I) [The marriage contract]

Druckgraphik

Marriage A-la-Mode, (Plate I) [The marriage contract]

Marriage A-la-Mode, (Plate I) [The marriage contract]

Druckgraphik

Marriage A-la-Mode, (Plate I) [The marriage contract]

Internationalisation and mode switching : performance, strategy and timing

Hochschulschrift

Internationalisation and mode switching : performance, strategy and timing

Verbundene Objekte