- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0525
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Compositional schedulability analysis of real-time actor-based systems ; volume:54 ; number:4 ; day:25 ; month:1 ; year:2016 ; pages:343-378 ; date:6.2017
Acta informatica ; 54, Heft 4 (25.1.2016), 343-378, 6.2017
- Classification
-
Informatik
- Creator
-
Jaghoori, Mohammad Mahdi
- Contributor
-
Boer, Frank de
Longuet, Delphine
Chothia, Tom
Sirjani, Marjan
SpringerLink (Online service)
- DOI
-
10.1007/s00236-015-0254-x
- URN
-
urn:nbn:de:1111-2017051111271
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:25 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
- Jaghoori, Mohammad Mahdi
- Boer, Frank de
- Longuet, Delphine
- Chothia, Tom
- Sirjani, Marjan
- SpringerLink (Online service)
Other Objects (12)
Evaluation of Actor Based Code Offloading from Android Smartphones in Real-Time
Real-Time Estelle
Mne-X: MEG/EEG real-time acquisition, real-time processing, and real-time source localization framework
Verifying real-time systems
Real-time 3D scanning
HEVC real-time decoding
Real-time propagator eigenstates
Approximative real-time analysis
Real-time depth imaging
Real-Time Waveform Prototyping
Specification and compositional verification of real time systems
Monetary policy analysis in real-time: Vintage combination from a real-time dataset
Evaluation of Actor Based Code Offloading from Android Smartphones in Real-Time
Real-Time Estelle
Mne-X: MEG/EEG real-time acquisition, real-time processing, and real-time source localization framework
Verifying real-time systems
Real-time 3D scanning
HEVC real-time decoding
Real-time propagator eigenstates
Approximative real-time analysis
Real-time depth imaging
Real-Time Waveform Prototyping
Specification and compositional verification of real time systems
Monetary policy analysis in real-time: Vintage combination from a real-time dataset
Evaluation of Actor Based Code Offloading from Android Smartphones in Real-Time
Real-Time Estelle
Mne-X: MEG/EEG real-time acquisition, real-time processing, and real-time source localization framework
Verifying real-time systems
Real-time 3D scanning
HEVC real-time decoding
Real-time propagator eigenstates
Approximative real-time analysis
Real-time depth imaging
Real-Time Waveform Prototyping
Specification and compositional verification of real time systems