Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 160
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Veröffentlicht in
software & systems modeling
4
autom. softw. eng. (netherlands)
2
automated software engineering
2
int. j. softw. tools technol. transf. (germany)
2
international journal on software tools for technology transfer
2
j. vis. lang. comput. (uk)
2
mehr ...
journal of systems and software
2
journal of visual languages and computing
2
software quality journal
2
acm trans. cyber-phys. syst. (usa)
1
acm transactions on cyber-physical systems
1
acm transactions on embedded computing systems
1
chin. j. comput. (china)
1
chinese journal of computers
1
computer engineering
1
des. autom. embed. syst. (germany)
1
design automation for embedded systems
1
electron. notes theor. comput. sci. (netherlands)
1
electronic notes in theoretical computer science
1
electronics (2079-9292)
1
ieee access
1
ieee access (usa)
1
ieee trans. comput. (usa)
1
ieee trans. comput.-aided des. integr. circuits syst. (usa)
1
ieee trans. softw. eng. (usa)
1
ieee transactions on computer-aided design of integrated circuits and systems
1
ieee transactions on computers
1
ieee transactions on software engineering
1
iet software (wiley-blackwell)
1
int. j. adv. comput. sci. appl. (usa)
1
weniger ...
Schlagwort
program verification
53
formal specification
47
program testing
41
unified modeling language
36
program diagnostics
29
software architecture
27
mehr ...
embedded systems
26
software engineering
25
object-oriented programming
23
specification languages
22
java
17
software maintenance
14
formal verification
12
program debugging
12
software tools
12
internet
8
software quality
8
field programmable gate arrays
7
safety-critical software
7
control engineering computing
6
data flow analysis
6
hardware description languages
6
software reusability
6
c++ language
5
finite state machines
5
middleware
5
public domain software
5
automata theory
4
business data processing
4
c language
4
weniger ...
Verlag
ieee
50
ieee computer society
22
springer-verlag
14
springer
12
insticc press
7
acm
6
mehr ...
springer international publishing
5
springer verlag
5
springer nature
4
elsevier science b.v.
3
academic press
2
elsevier b.v.
2
inderscience enterprises ltd.
2
kluwer academic publishers group
2
wiley
2
association for computing machinery inc.
1
editorial board of computer engineering
1
elsevier
1
iaeng international association of engineers
1
ieee (comput. soc.)
1
iet
1
mdpi
1
sai - the science and information organization
1
science and information (sai) organization
1
science press
1
scitepress
1
spie - the international society for optical engineering
1
springer netherlands
1
vde verlag
1
weniger ...
Sprache
Treffer aus
Erscheinungsjahr
Filter