*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 201 - 220
*of* 56*number_thousands_separator*946
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*Format*
Academic Journals
26*number_thousands_separator*080
Conference Materials
13*number_thousands_separator*462
Books
6*number_thousands_separator*128
Electronic Resources
3*number_thousands_separator*858
Dissertations
1*number_thousands_separator*274
Reports
1*number_thousands_separator*140
*more* ...
Reviews
1*number_thousands_separator*136
eBooks
1*number_thousands_separator*110
Magazines
243
Trade Publications
98
Patents
2
Literature Reviews
1
*less* ...
*Published in*
lecture notes in computer science
1*number_thousands_separator*669
international journal on software tools for technology transfer
1*number_thousands_separator*650
ieee transactions on software engineering
820
science of computer programming
653
software & systems modeling
432
formal aspects of computing
418
*more* ...
journal of systems and software
231
theoretical computer science
223
formal methods in system design
222
fundamenta informaticae
204
acm sigplan notices
201
software and systems modeling
200
information and software technology
180
automated software engineering
179
acm transactions on software engineering and methodology
175
ieee access
167
innovations in systems and software engineering
143
international journal of software engineering & knowledge engineering
141
international journal of software engineering and knowledge engineering
134
acm transactions on programming languages and systems
113
communications of the acm
97
software quality journal
92
plos one
87
journal of automated reasoning
81
programming and computer software
78
acta informatica
77
ieee transactions on computers
72
journal of logical and algebraic methods in programming
71
information processing letters
68
information and computation
63
*less* ...
*SubjectEDS*
model checking
6*number_thousands_separator*967
formal verification
6*number_thousands_separator*654
02 engineering and technology
6*number_thousands_separator*470
0202 electrical engineering, electronic engineering, information engineering
5*number_thousands_separator*976
computing and processing
3*number_thousands_separator*657
program verification
2*number_thousands_separator*997
*more* ...
01 natural sciences
2*number_thousands_separator*694
formal specification
2*number_thousands_separator*685
software engineering
2*number_thousands_separator*421
0102 computer and information sciences
2*number_thousands_separator*154
software
2*number_thousands_separator*032
temporal logic
1*number_thousands_separator*758
verification
1*number_thousands_separator*584
computer science
1*number_thousands_separator*501
communication, networking and broadcast technologies
1*number_thousands_separator*452
specification and verification (program logics, model checking, etc.)
1*number_thousands_separator*451
unified modeling language
1*number_thousands_separator*109
computer science - software engineering
1*number_thousands_separator*082
program testing
1*number_thousands_separator*073
computer software
1*number_thousands_separator*047
components, circuits, devices and systems
969
fos: computer and information sciences
933
software verification
913
software architecture
889
formal methods
887
petri nets
868
algorithms
851
program diagnostics
773
specification languages
772
computational modeling
757
*less* ...
*Publisher*
ieee
8*number_thousands_separator*779
springer nature
2*number_thousands_separator*908
springer-verlag
1*number_thousands_separator*746
springer international publishing
1*number_thousands_separator*517
acm
1*number_thousands_separator*511
springer verlag
1*number_thousands_separator*438
*more* ...
elsevier b.v.
1*number_thousands_separator*351
wti-frankfurt-digital gmbh
1*number_thousands_separator*316
springer
1*number_thousands_separator*198
ieee computer society
1*number_thousands_separator*146
springer berlin heidelberg
1*number_thousands_separator*132
association for computing machinery
748
arxiv
504
wiley
421
acm - association for computing machinery
402
wiley-blackwell
359
elsevier
338
springer nature switzerland
337
springer, cham
315
springer heidelberg
263
assoc computing machinery
260
mdpi
236
ios press
221
elsevier science bv
209
world scientific publishing company
203
iop publishing
176
mdpi ag
151
open publishing association
146
malardalens hogskola, inbyggda system
134
taylor & francis ltd
134
*less* ...
*RangeLexile*
*Language*
english
40*number_thousands_separator*278
undetermined
5*number_thousands_separator*704
chinese
613
german
379
russian
196
persian
117
*more* ...
french
116
ukrainian
74
japanese
63
spanish; castilian
52
turkish
49
korean
44
croatian
28
portuguese
28
italian
17
lithuanian
17
polish
17
eng
14
spanish
11
czech
10
greek
10
ndonga
10
arabic
9
hungarian
8
indonesian
8
pol
7
bulgarian
5
chamorro
4
swedish
4
norwegian
3
*less* ...
*Category*
computers / software development & engineering / general
294
computers / computer science
265
computers / programming / compilers
134
computers / artificial intelligence / general
100
computers / hardware / general
70
computers / programming / general
70
*more* ...
computers / networking / general
56
computers / computer architecture
55
computers / programming / algorithms
36
computers / computer simulation
29
*less* ...
*SourceEDS*
Inspec
11*number_thousands_separator*999
OpenAIRE
11*number_thousands_separator*589
TEMA
5*number_thousands_separator*848
Scopus®
4*number_thousands_separator*890
IEEE Xplore Digital Library
3*number_thousands_separator*989
OAIster
3*number_thousands_separator*808
*more* ...
Complementary Index
3*number_thousands_separator*450
Academic Search Index
1*number_thousands_separator*950
Science Citation Index Expanded
1*number_thousands_separator*751
wiso
1*number_thousands_separator*374
MathSciNet via EBSCOhost
1*number_thousands_separator*152
Supplemental Index
826
arXiv
814
Business Source Premier
762
Directory of Open Access Journals
568
dblp computer science bibliography
553
MEDLINE
413
eBook Index
381
CEABA
200
RePEc
116
British Library EThOS
116
APA PsycInfo
79
GeoRef
43
BazTech
43
Europeana
41
Biomedical Index
37
JSTOR Journals
24
Emerald Insight
21
EconLit
21
SAE Mobilus
20
*less* ...
*adv_search_year*
*Filter*