- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6. 1 International Conference, FORTE 2022, Held As Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings. - Cham : Springer International Publishing, 2022. - (Lecture Notes in Computer Science ; 13273). - S. 131-150. - ISBN 978-3-031-08678-6ISBN 978-3-031-08679-3. - ISSN 0302-9743. - eISSN 1611-3349
- Schlagwort
-
Programmiersprache
- Ereignis
-
Veröffentlichung
- (wo)
-
Ulm
- (wer)
-
Universität Ulm
- (wann)
-
2022
- Urheber
-
Runge, Tobias
Potanin, Alex
Thüm, Thomas
Schaefer, Ina
- DOI
-
10.18725/OPARU-50859
- URN
-
urn:nbn:de:bsz:289-oparu-50935-6
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:57 MEZ
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
- Runge, Tobias
- Potanin, Alex
- Thüm, Thomas
- Schaefer, Ina
- Universität Ulm
Entstanden
- 2022
Ähnliche Objekte (12)
Traits for Correct-by-Construction Programming
Out-of-the-box measurement approaches for complex interpersonal traits
The Influence of sex, age and psychological traits on experimental heat pain experience
Doppler-free Two-photon Transitions in Atom Interferometry
Effects of decreasing precipitation and extreme drought on intraspecific variation in floral traits and flower-visitor interactions
Construction and decoding of evaluation codes in hamming and rank metric
Theory of the Free-Electron Laser: from classical to quantum
Cobalt free nanomaterials as positive electrodes for Lithium ion battery
Overcoming challenges of controller-based and free-handed interaction in cross-reality
Nanogold dipsticks for reagent-free determination of total dissolved mercury in natural waters
ORR activity and stability of Pt-based and Pt-free catalysts for PEMFC applications
Construction of acid-producing Clostridium saccharoperbutylacetonicum strains by deletion, overexpression, and interfering with regulation of genes
Traits for Correct-by-Construction Programming
Out-of-the-box measurement approaches for complex interpersonal traits
The Influence of sex, age and psychological traits on experimental heat pain experience
Doppler-free Two-photon Transitions in Atom Interferometry
Effects of decreasing precipitation and extreme drought on intraspecific variation in floral traits and flower-visitor interactions
Construction and decoding of evaluation codes in hamming and rank metric
Theory of the Free-Electron Laser: from classical to quantum
Cobalt free nanomaterials as positive electrodes for Lithium ion battery
Overcoming challenges of controller-based and free-handed interaction in cross-reality
Nanogold dipsticks for reagent-free determination of total dissolved mercury in natural waters
ORR activity and stability of Pt-based and Pt-free catalysts for PEMFC applications
Construction of acid-producing Clostridium saccharoperbutylacetonicum strains by deletion, overexpression, and interfering with regulation of genes
Traits for Correct-by-Construction Programming
Out-of-the-box measurement approaches for complex interpersonal traits
The Influence of sex, age and psychological traits on experimental heat pain experience
Doppler-free Two-photon Transitions in Atom Interferometry
Effects of decreasing precipitation and extreme drought on intraspecific variation in floral traits and flower-visitor interactions
Construction and decoding of evaluation codes in hamming and rank metric
Theory of the Free-Electron Laser: from classical to quantum
Cobalt free nanomaterials as positive electrodes for Lithium ion battery
Overcoming challenges of controller-based and free-handed interaction in cross-reality
Nanogold dipsticks for reagent-free determination of total dissolved mercury in natural waters
ORR activity and stability of Pt-based and Pt-free catalysts for PEMFC applications