zweidimensionales bewegtes Bild
Analysing installation scenarios of Debian packages
- Standort
-
Hannover TIB
- Umfang
-
33MB, 00:15:10:00 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)
- Schlagwort
-
Quality Assurance and Safety Properties
High-Level View of File Hierarchies
Symbolic Execution
European Joint Conferences on Theory and Practice of Software 2021
Debian Software Package Installation
Shell Scripts
Feature Tree Constraints
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Marché, Claude
Becker, Benedikt
Régis-Gianas, Yann
Sighireanu, Mihaela
Jeannerod, Nicolas
Treinen, Ralf
- DOI
-
10.5446/55028
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Marché, Claude
- Becker, Benedikt
- Régis-Gianas, Yann
- Sighireanu, Mihaela
- Jeannerod, Nicolas
- Treinen, Ralf
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
SDR, Ham Radio and the Debian Hams project: Turn-key solutions for hams using Debian packages
Debian Contributors
Debian GNU, Linux : Grundlagen, Installation, Administration und Anwendung ; mit 10 Tabellen
Debian GNU, Linux : Grundlagen, Installation, Administration und Anwendung ; mit 15 Tabellen
Debian GNU, Linux : Grundlagen, Installation, Administration und Anwendung ; mit 15 Tabellen
Severance packages
Severance Packages
systemd in Debian
Debian Conference Infrastructure
FOSDEM 2009: Debian
Debian and Ubuntu
Debian Secrets what I wish I knew before joining Debian
SDR, Ham Radio and the Debian Hams project: Turn-key solutions for hams using Debian packages
Debian Contributors
Debian GNU, Linux : Grundlagen, Installation, Administration und Anwendung ; mit 10 Tabellen
Debian GNU, Linux : Grundlagen, Installation, Administration und Anwendung ; mit 15 Tabellen
Debian GNU, Linux : Grundlagen, Installation, Administration und Anwendung ; mit 15 Tabellen
Severance packages
Severance Packages
systemd in Debian
Debian Conference Infrastructure
FOSDEM 2009: Debian
Debian and Ubuntu
Debian Secrets what I wish I knew before joining Debian
SDR, Ham Radio and the Debian Hams project: Turn-key solutions for hams using Debian packages
Debian Contributors
Debian GNU, Linux : Grundlagen, Installation, Administration und Anwendung ; mit 10 Tabellen
Debian GNU, Linux : Grundlagen, Installation, Administration und Anwendung ; mit 15 Tabellen
Debian GNU, Linux : Grundlagen, Installation, Administration und Anwendung ; mit 15 Tabellen
Severance packages
Severance Packages
systemd in Debian
Debian Conference Infrastructure
FOSDEM 2009: Debian
Debian and Ubuntu