Am Donnerstag, den 15.8. kann es zwischen 16 und 18 Uhr aufgrund von Wartungsarbeiten des ZIM zu Einschränkungen bei der Katalognutzung kommen.
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
    Datensatz exportieren als...
  • BibTeX
Stream runtime verification of real-time event streams with the Striver language
International journal on software tools for technology transfer, 2021-04, Vol.23 (2), p.157-183
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions
2021 IEEE International Conference on Robotics and Automation (ICRA), 2021, p.6824-6830
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Towards formal model-based analysis and testing of Android's security mechanisms
2017 XLIII Latin American Computer Conference (CLEI), 2017, p.1-10
2017
Volltextzugriff (PDF)
1 – 3 von 3
Suche als RSS-Feed
Aktive Filter
ThemaMonitoring
Suchergebnisse filtern
Filter anzeigen