- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource, 1 online resource.
- Language
-
Englisch
- Bibliographic citation
-
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
- Classification
-
Informatik
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11334-023-00531-4
- URN
-
urn:nbn:de:101:1-2023112012024687002464
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:32 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Kröger, Janis
- Koopmann, Björn
- Stierand, Ingo
- Fränzle, Martin
- SpringerLink (Online service)
Other Objects (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
Cilia in the Striatum Mediate Timing-Dependent Functions
Spike-timing-dependent plasticity and temporal input statistics
![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]
Internationalisation and mode switching : performance, strategy and timing
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
Cilia in the Striatum Mediate Timing-Dependent Functions
Spike-timing-dependent plasticity and temporal input statistics
Marriage A-la-Mode, (Plate I) [The marriage contract]
Marriage A-la-Mode, (Plate I) [The marriage contract]
Internationalisation and mode switching : performance, strategy and timing
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
Cilia in the Striatum Mediate Timing-Dependent Functions
Spike-timing-dependent plasticity and temporal input statistics
Marriage A-la-Mode, (Plate I) [The marriage contract]
Marriage A-la-Mode, (Plate I) [The marriage contract]