- 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
- 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.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Kröger, Janis
- Koopmann, Björn
- Stierand, Ingo
- Fränzle, Martin
- SpringerLink (Online service)
Ähnliche Objekte (12)
Modeling, Specification and Verification of Smart Contract Applications
On the timing option in a futures contract
Visual Specification and Analysis of Contract-Based Software Architectures
Spike timing dependent plasticity implements reinforcement learning
Spatial filter by spike timing dependent plasticity
Legacy software migration based on timing contract aware real-time execution environments
Mode-dependent magnonic noise
Spike-timing-dependent plasticity and temporal input statistics
Cilia in the Striatum Mediate Timing-Dependent Functions
Internationalisation and mode switching : performance, strategy and timing
![Marriage A-la-Mode, (Plate I) [The marriage contract]](https://iiif.deutsche-digitale-bibliothek.de/image/2/037aceef-b127-47e4-85e1-308d225e15e6/full/!306,450/0/default.jpg)
Marriage A-la-Mode, (Plate I) [The marriage contract]
![Marriage A-la-Mode, (Plate I) [The marriage contract]](https://iiif.deutsche-digitale-bibliothek.de/image/2/a6104852-5c8e-467c-ad04-5c60f06d9f53/full/!306,450/0/default.jpg)
Marriage A-la-Mode, (Plate I) [The marriage contract]
Modeling, Specification and Verification of Smart Contract Applications
On the timing option in a futures contract
Visual Specification and Analysis of Contract-Based Software Architectures
Spike timing dependent plasticity implements reinforcement learning
Spatial filter by spike timing dependent plasticity
Legacy software migration based on timing contract aware real-time execution environments
Mode-dependent magnonic noise
Spike-timing-dependent plasticity and temporal input statistics
Cilia in the Striatum Mediate Timing-Dependent Functions
Internationalisation and mode switching : performance, strategy and timing
Marriage A-la-Mode, (Plate I) [The marriage contract]
Marriage A-la-Mode, (Plate I) [The marriage contract]
Modeling, Specification and Verification of Smart Contract Applications
On the timing option in a futures contract
Visual Specification and Analysis of Contract-Based Software Architectures
Spike timing dependent plasticity implements reinforcement learning
Spatial filter by spike timing dependent plasticity
Legacy software migration based on timing contract aware real-time execution environments
Mode-dependent magnonic noise
Spike-timing-dependent plasticity and temporal input statistics
Cilia in the Striatum Mediate Timing-Dependent Functions
Internationalisation and mode switching : performance, strategy and timing
Marriage A-la-Mode, (Plate I) [The marriage contract]