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
Model generation of component-based systems
Software quality journal, 2020-06, Vol.28 (2), p.789-819
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Learning of behavioural models and dependency graphs for communicating systems with CkTailv2
International journal on software tools for technology transfer, 2022-08, Vol.24 (4), p.529-548
2022
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
MLCA: A Model-Learning-Checking Approach for IoT Systems
Communications in Computer and Information Science, vol. 1447, Software Technologies - 15th International Conference, {ICSOFT} 2020, Online Event, July 7-9, 2020, Revised Selected Papers, 2021, Vol.1447, p.70-97
2021
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Using Model Learning for the Generation of Mock Components
Testing Software and Systems, 2020, Vol.12543, p.3-19
2020
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Formal Analysis of Combinations of Secure Protocols
Foundations and Practice of Security, 2018, Vol.10723, p.53-67
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems
Testing Software and Systems, 2018, Vol.11146, p.142-148
2018
Volltextzugriff (PDF)
1 – 6 von 6
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen