Treffer
1 - 4
von
4
für Suche '
Guldali, B.
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Stichwort
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchergebnisse - Guldali, B.
Treffer
1 - 4
von
4
für Suche '
Guldali, B.
'
, Suchdauer: 0,40s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
A Holistic Approach to Test-Driven Model Checking
von
Belli, Fevzi
,
Güldali, Baris
Volltext
Tagungsbericht
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
Software Testing via Model Checking
von
Belli, Fevzi
,
Güldali, Bariş
Volltext
Tagungsbericht
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
3
Model-Based System Testing Using Visual Contracts
von
Guldali, B.
,
Mlynarski, M.
,
Wubbeke, A.
,
Engels, G.
Volltext
Tagungsbericht
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
4
Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering
von
Guldali, B.
,
Sauer, S.
,
Engels, G.
,
Funke, H.
,
Jahnich, M.
Volltext
Tagungsbericht
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Zurück
Treffer weiter einschränken
Seite wird neu geladen, wenn Filter aktiviert oder ausgeschlossen wird.
Eingrenzen
Peer Reviewed
2 Treffer
2
Online Resources
4 Treffer
4
Format
Conference Proceedings
4 Treffer
4
Schlagworte
Computer Science
4 Treffer
4
Science & Technology
4 Treffer
4
Technology
4 Treffer
4
Computer Science, Software Engineering
3 Treffer
3
Applied Sciences
2 Treffer
2
Automatic Testing
2 Treffer
2
Computer Science, Artificial Intelligence
2 Treffer
2
Computer Science, Theory & Methods
2 Treffer
2
Computer Science; Control Theory; Systems
2 Treffer
2
Exact Sciences And Technology
2 Treffer
2
Generate Test Case
2 Treffer
2
Linear Temporal Logic
2 Treffer
2
Model Check
2 Treffer
2
Software Testing
2 Treffer
2
System Testing
2 Treffer
2
System Under Test
2 Treffer
2
Acceptance Testing
1 Treffer
1
Artificial Intelligence
1 Treffer
1
Biometrics
1 Treffer
1
Clustering Algorithms
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Ieee Electronic Library (Iel) Conference Proceedings
2 Treffer
2
Ieee Power & Energy Library
2 Treffer
2
Ieee Electronic Library (Iel)
2 Treffer
2
Ingentaconnect
2 Treffer
2
Acm Digital Library Complete
1 Treffer
1