- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Validating multiple variants of an automotive light system with Alloy 6 ; volume:26 ; number:3 ; day:23 ; month:5 ; year:2024 ; pages:365-377 ; date:6.2024
International journal on software tools for technology transfer ; 26, Heft 3 (23.5.2024), 365-377, 6.2024
- Urheber
-
Cunha, Alcino
Macedo, Nuno
Liu, Chong
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-024-00752-3
- URN
-
urn:nbn:de:101:1-2409110928228.113178840914
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 15.08.2025, 05:27 UTC
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
- Cunha, Alcino
- Macedo, Nuno
- Liu, Chong
- SpringerLink (Online service)
Ähnliche Objekte (12)
The relationship between physical activity and interpersonal distress in college students: the chain mediating role of self-control and mobile phone addiction
Correction: The relationship between physical activity and interpersonal distress in college students: the chain mediating role of self-control and mobile phone addiction
Circular RNA hsa_circ_0043278 inhibits breast cancer progression via the miR-455-3p/EI24 signalling pathway
Optimal Extension to Sobolev Rough Paths
Stochastic analysis with modelled distributions
Functional principal component analysis of spatially correlated data
Stochastic analysis with modelled distributions
Optimal design and experimental study of fixed abrasive pads based on coupling of damping regulation and pellet arrangement
Càdlàg rough differential equations with reflecting barriers
Continuously superior-strong carbon nanofibers by additive nanostructuring and carbonization of polyacrylonitrile jetting
A feature selection method based on synonym merging in text classification system
The efficacy of thoracolumbar interfascial plane block for lumbar spinal surgeries: a systematic review and meta-analysis
The relationship between physical activity and interpersonal distress in college students: the chain mediating role of self-control and mobile phone addiction
Correction: The relationship between physical activity and interpersonal distress in college students: the chain mediating role of self-control and mobile phone addiction
Circular RNA hsa_circ_0043278 inhibits breast cancer progression via the miR-455-3p/EI24 signalling pathway
Optimal Extension to Sobolev Rough Paths
Stochastic analysis with modelled distributions
Functional principal component analysis of spatially correlated data
Stochastic analysis with modelled distributions
Optimal design and experimental study of fixed abrasive pads based on coupling of damping regulation and pellet arrangement
Càdlàg rough differential equations with reflecting barriers
Continuously superior-strong carbon nanofibers by additive nanostructuring and carbonization of polyacrylonitrile jetting
A feature selection method based on synonym merging in text classification system
The efficacy of thoracolumbar interfascial plane block for lumbar spinal surgeries: a systematic review and meta-analysis
The relationship between physical activity and interpersonal distress in college students: the chain mediating role of self-control and mobile phone addiction
Correction: The relationship between physical activity and interpersonal distress in college students: the chain mediating role of self-control and mobile phone addiction
Circular RNA hsa_circ_0043278 inhibits breast cancer progression via the miR-455-3p/EI24 signalling pathway
Optimal Extension to Sobolev Rough Paths
Stochastic analysis with modelled distributions
Functional principal component analysis of spatially correlated data
Stochastic analysis with modelled distributions
Optimal design and experimental study of fixed abrasive pads based on coupling of damping regulation and pellet arrangement
Càdlàg rough differential equations with reflecting barriers
Continuously superior-strong carbon nanofibers by additive nanostructuring and carbonization of polyacrylonitrile jetting
A feature selection method based on synonym merging in text classification system