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...
Tools and Algorithms for the Construction and Analysis of Systems, p.692-707
Link zum Volltext


Procedia computer science, 2022, Vol.201, p.726-731
2022
Link zum Volltext

IEEE transactions on circuits and systems for video technology, 2023, p.1-1
2023


Electronics letters, 2017-07, Vol.53 (15), p.1041-1042
2017
Link zum Volltext

Procedia computer science, 2022, Vol.208, p.100-105
2022
Link zum Volltext

Teaching and teacher education, 2023-04, Vol.125, p.104064, Article 104064
2023
Link zum Volltext

Science of computer programming, 2015-02, Vol.98, p.589-616
2015
Link zum Volltext

2020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2020, p.306-307
2020
Link zum Volltext

Proceedings - International Conference on Software Engineering, 2002, p.406-416
2002

English language teaching (Toronto), 2014-09, Vol.7 (10), p.89
2014
Link zum Volltext

Global journal al-thaqafah, 2018-12, Vol.8 (2), p.31-44
2018
Link zum Volltext

Towards pattern-based design recovery
International Conference on Software Engineering: Proceedings of the 24th International Conference on Software Engineering; 19-25 May 2002, 2002, p.338-348
2002
Link zum Volltext

Journal of Theoretical and Applied Information Technology, 2016-01, Vol.83 (1), p.148-148
2016
Link zum Volltext

Proceedings of the 13th Annual International Conference on mobile systems, applications, and services, 2015, p.89-103
2015
Link zum Volltext

Guard-Based Partial-Order Reduction
Model Checking Software, p.227-245
Link zum Volltext

Revista de filosofía (Madrid), 2007-03, Vol.31 (2), p.83-107
2007
Link zum Volltext

Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on program analysis for software tools, 2011, p.37-40
2011
Link zum Volltext

International Conference on Software Engineering 2008, 2008, Vol.2008 (23), p.15-22
2008
Link zum Volltext

Companion of the 30th international conference on software engineering, 2008, Vol.2008 (3), p.967-968
2008
Link zum Volltext

Lecture notes in computer science, 1999, p.62-79
1999
Link zum Volltext

Proceedings / International Conference on Software Engineering, 1997, p.349-359
1997

Proceedings of the 18th ACM international conference on multimedia, 2010, p.787-790
2010
Link zum Volltext

Reachability Problems, 2017, Vol.10506, p.26-41
2017
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt