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...
Reliability engineering & system safety, 2020-11, Vol.203, p.107064, Article 107064
2020
Link zum Volltext

Open Access
Balancing Cost and Specifications
Optik & Photonik, 2018-04, Vol.13 (2), p.40-43
2018
Link zum Volltext


ACM computing surveys, 2022-09, Vol.54 (7), p.1-38, Article 148
2022
Link zum Volltext






IEEE transactions on software engineering, 2021-10, Vol.47 (10), p.2208-2224
2021

Software, practice & experience, 2023-11, Vol.53 (11), p.2241-2270
2023
Link zum Volltext

Theory and speciation
Trends in Ecology & Evolution, 2001-07, Vol.16 (7), p.330-343
2001
Link zum Volltext

The Journal of systems and software, 2024-05, Vol.211, p.111972, Article 111972
2024
Link zum Volltext

Archives of physical medicine and rehabilitation, 2024-04, Vol.105 (4), p.e136-e136
2024
Link zum Volltext

Archives of physical medicine and rehabilitation, 2024-04, Vol.105 (4), p.e44-e44
2024
Link zum Volltext




Društvene i humanističke studije (Online), 2023-12, Vol.8 (3(24)), p.351-366
2023
Link zum Volltext

Journal of pragmatics, 2023-10, Vol.216, p.21-42
2023
Link zum Volltext



Concurrency and computation, 2022-02, Vol.34 (5), p.n/a
2022
Link zum Volltext


Containers for Specification in SPARK
ACM SIGAda Ada Letters, 2023-04, Vol.42 (2), p.62-68
2023
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n