Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 85
Sie haben nicht gefunden, wonach Sie gesucht haben? Dann versuchen Sie es doch mit einer Fernleihe oder machen Sie einen Kaufvorschlag.
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Publikationstyp
Thema
finite state machine
18
software engineering/software/program verification
18
software engineering/testing and debugging
18
reliability
16
design
15
theory
15
mehr ...
validation
15
computing and processing
13
d.2.5 [software engineering] testing and debugging - debugging aids
13
formal methods
13
jml
13
programming by contract
13
testing tools
13
tools
13
class invariants
10
f.3.1 [logics and meanings of programs] specifying and verifying and reasoning about programs - asse
10
invariants
9
automata
8
distributed systems
8
general purpose graphics processing units
8
d.3.2 [programming languages] language classifications - object-oriented languages
7
monitors
7
systems and software
7
testing
7
controllability
6
software engineering/test design
6
software/program verification - assertion checkers
6
specification techniques
6
verification
6
algorithms
5
weniger ...
Erschienen in
ieee transactions on software engineering
8
ieee transactions on software engineering, software engineering, ieee transactions on, iieee trans. software eng.
8
ieee transactions on computers, computers, ieee transactions on, ieee trans. comput.
3
cybernetics and information technologies
2
ieee transactions on computers
2
2011 ieee international conference on system engineering and technology, system engineering and technology (icset), 2011 ieee international conference on
1
mehr ...
ieee transactions on dependable and secure computing
1
ieee transactions on dependable and secure computing, dependable and secure computing, ieee transactions on, ieee trans. dependable and secure comput.
1
ifip transactions a-computer science and technology
1
protocol specification, testing and verification, xiii
1
weniger ...
Verlag
ieee
14
arts and science
12
department of mathematics and computer science
12
lethbridge, alta. : university of lethbridge, dept. of mathematics and computer science
12
ieee computer soc
11
ccsd
3
mehr ...
csrea press
3
elsevier science bv
3
acm
2
association for computing machinery, inc.
2
hal ccsd
2
institute of electrical and electronics engineers (ieee)
2
sciendo
2
springer
2
texas a&m university- kingsville
2
united states
2
acm press
1
dagstuhl publishing
1
ieee computer society
1
institute of electrical and electronics engineers
1
karlstads universitet, institutionen for matematik och datavetenskap
1
weniger ...
Sprache
Sammlung
Citeseerx
24
Brunel University London: Brunel University Research Archive (Bura)
6
University Of Leicester: Figshare
3
University Of Hong Kong: Hku Scholars Hub
2
Archive Ouverte Hal (Hyper Article En Ligne, Ccsd - Centre Pour La Communication Scientifique Directe)
1
Directory Of Open Access Journals: Doaj Articles
1
mehr ...
Texas A&M University-Kingsville: Akm Digital Repository
1
Universite Toulouse 2 - Jean Jaures: Hal
1
Universite Toulouse Iii - Paul Sabatier: Hal-Ups
1
University Of Lethbridge Institutional Repository
1
University Of Malta: Oar@Um / L-Universita Ta' Malta
1
weniger ...
Datenbank
Erscheinungsjahr
Filter