Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Open Access
    Datensatz exportieren als...
  • BibTeX
Combinatorial generation of operation system software configurations
Trudy Instituta sistemnogo programmirovaniâ, 2018-10, Vol.23, p.359-370
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Component-based verification of operating systems
Trudy Instituta sistemnogo programmirovaniâ, 2019-02, Vol.30 (6), p.367-382
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System
Programming and computer software, 2020-12, Vol.46 (7), p.443-453
2020
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Verification and analysis of variable operating systems
Trudy Instituta sistemnogo programmirovaniâ, 2018-10, Vol.28 (3), p.189-208
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Testing of Operating Systems
Trudy Instituta sistemnogo programmirovaniâ, 2018-10, Vol.26 (1), p.73-108
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
How the story of UniTESK technology applications mirrors development of model based testing
Trudy Instituta sistemnogo programmirovaniâ, 2013, Vol.24, p.207-218
2013
Volltextzugriff (PDF)
1 – 6 von 6
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen