*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 20
*of* 19*number_thousands_separator*968
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*Format*
Academic Journals
7*number_thousands_separator*786
Conference Materials
5*number_thousands_separator*471
Books
2*number_thousands_separator*626
Electronic Resources
1*number_thousands_separator*448
Reports
727
Dissertations
499
*more* ...
Reviews
490
eBooks
264
Trade Publications
73
Magazines
41
Literature Reviews
1
Standards
1
Patents
1
*less* ...
*Published in*
lecture notes in computer science
982
international journal on software tools for technology transfer
278
runtime verification
266
formal methods in system design
203
science of computer programming
132
electronic notes in theoretical computer science
115
*more* ...
ieee access
110
ieee transactions on computer-aided design of integrated circuits & systems
98
ieee transactions on software engineering
98
proceedings of the acm on programming languages
84
acm sigplan notices
79
electronic proceedings in theoretical computer science
73
ieee transactions on computer-aided design of integrated circuits and systems
68
formal aspects of computing
65
journal of systems and software
53
journal of logical and algebraic methods in programming
49
journal of systems architecture
49
theoretical computer science
49
acm transactions on embedded computing systems
48
software & systems modeling
36
ieee transactions on reliability
35
acm transactions on design automation of electronic systems
34
ieee transactions on computers
34
computers & security
33
ieee transactions on industrial informatics
33
ieee transactions on services computing
33
automated software engineering
30
fundamenta informaticae
28
information and software technology
28
procedia computer science
27
*less* ...
*SubjectEDS*
formal verification
2*number_thousands_separator*275
02 engineering and technology
2*number_thousands_separator*042
0202 electrical engineering, electronic engineering, information engineering
1*number_thousands_separator*961
program verification
1*number_thousands_separator*875
runtime verification
1*number_thousands_separator*790
computing and processing
1*number_thousands_separator*747
*more* ...
runtime
1*number_thousands_separator*681
formal specification
945
communication, networking and broadcast technologies
817
components, circuits, devices and systems
767
monitoring
689
temporal logic
661
01 natural sciences
650
program diagnostics
577
java
576
fos: computer and information sciences
546
verification
511
0102 computer and information sciences
498
software engineering
442
program testing
424
signal processing and analysis
407
security of data
376
software
372
robotics and control systems
370
program compilers
358
embedded systems
356
computer science
348
specification languages
333
model checking
312
hardware
306
*less* ...
*Publisher*
ieee
4*number_thousands_separator*082
springer nature
1*number_thousands_separator*036
springer international publishing
946
acm
786
springer verlag
483
elsevier b.v.
452
*more* ...
ieee computer society
451
springer
440
arxiv
435
wti-frankfurt-digital gmbh
419
springer, cham
361
springer nature switzerland
293
springer berlin heidelberg
284
institute of electrical and electronics engineers inc.
199
association for computing machinery
194
association for computing machinery (acm)
171
elsevier
121
mdpi
115
schloss dagstuhl - leibniz-zentrum fur informatik
105
open publishing association
88
mdpi ag
79
wiley-blackwell
79
wiley
77
assoc computing machinery
58
ieee-inst electrical electronics engineers inc
53
springer heidelberg
43
vysoke uceni technicke v brne. fakulta informacnich technologii
40
ios press
37
world scientific publishing company
37
malardalens hogskola, inbyggda system
36
*less* ...
*RangeLexile*
*Language*
english
12*number_thousands_separator*745
undetermined
2*number_thousands_separator*196
chinese
106
german
42
french
25
japanese
6
*more* ...
ndonga
6
russian
5
spanish; castilian
5
ukrainian
5
czech
4
eng
3
turkish
3
polish
2
croatian
1
dutch/flemish
1
dutch; flemish
1
greek
1
italian
1
korean
1
pol
1
portuguese
1
romanian; moldavian; moldovan
1
slovak
1
spanish
1
*less* ...
*Category*
computers / software development & engineering / general
76
computers / computer science
66
computers / programming / compilers
45
computers / artificial intelligence / general
35
computers / computer architecture
26
computers / hardware / general
24
*more* ...
computers / programming / general
21
computers / programming / algorithms
19
business & economics / careers / general
10
computers / general
10
*less* ...
*SourceEDS*
Inspec
4*number_thousands_separator*670
OpenAIRE
4*number_thousands_separator*055
IEEE Xplore Digital Library
1*number_thousands_separator*970
Scopus®
1*number_thousands_separator*815
OAIster
1*number_thousands_separator*409
Complementary Index
1*number_thousands_separator*130
*more* ...
TEMA
888
dblp computer science bibliography
795
arXiv
594
MathSciNet via EBSCOhost
566
wiso
472
Academic Search Index
431
Science Citation Index Expanded
410
Business Source Premier
213
Directory of Open Access Journals
177
eBook Index
93
Supplemental Index
88
British Library EThOS
51
MEDLINE
51
RePEc
27
CEABA
14
BazTech
9
Biomedical Index
9
Europeana
8
SAE Mobilus
7
Social Sciences Citation Index
4
GeoRef
3
APA PsycInfo
3
GeoRef In Process
2
BazEkon
1
*less* ...
*adv_search_year*
*Filter*