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...
Computation, 2021-10, Vol.9 (10), p.111
2021
Link zum Volltext


International Journal of Control, 2017, Automation, and Systems, 15(2), , pp.776-789
2017
Link zum Volltext

IEEE transactions on automatic control, 2017-04, Vol.62 (4), p.1768-1780
2017


Journal of theoretical biology, 2024-03, Vol.581, p.111731-111731, Article 111731
2024
Link zum Volltext


Innovations in systems and software engineering, 2020-06, Vol.16 (2), p.121-142
2020
Link zum Volltext

Innovations in systems and software engineering, 2020-01, Vol.16 (2), p.121-142
2020
Link zum Volltext

2020 27th Asia-Pacific Software Engineering Conference (APSEC), 2020, p.159-168
2020

Verification and Evaluation of Computer and Communication Systems, p.114-129
Link zum Volltext

Formal Methods and Software Engineering, 2015, Vol.9407, p.201-216
2015
Link zum Volltext

International journal of web services research, 2009-01, Vol.6 (1), p.87-110
2009
Link zum Volltext

IFAC-PapersOnLine, 2018, Vol.51 (24), p.1059-1066
2018
Link zum Volltext


The AI magazine, 2003, Vol.24 (4), p.91-106
2003
Link zum Volltext


Ai communications, 1995, Vol.8 (3-4), p.119-192
1995
Link zum Volltext

Principles and Practice of Constraint Programming, p.102-117
Link zum Volltext

Logic for Programming, Artificial Intelligence, and Reasoning, p.113-127
Link zum Volltext

The AI magazine, 2004-01, Vol.24 (4), p.91-106
2004
Link zum Volltext

Leveraging Applications of Formal Methods, Verification and Validation, p.815-830
Link zum Volltext

Annals of mathematics and artificial intelligence, 1994-03, Vol.11 (1-4), p.439-492
1994
Link zum Volltext

Modern Approaches in Applied Intelligence, p.186-198
Link zum Volltext

2016 International Conference on Control, Decision and Information Technologies (CoDIT), 2016, p.700-705
2016
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n