*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 20
*of* 443
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*Format*
*Published in*
concurrent object-oriented programming and petri nets
24
ieee transactions on software engineering
7
information and software technology
7
electronic notes in theoretical computer science
6
ieice transactions on fundamentals of electronics, communications and computer sciences
6
science of computer programming
6
*more* ...
fundamenta informaticae
5
lecture notes in computer science
5
ieice trans. fundam. electron. commun. comput. sci. (japan)
4
ieee trans. softw. eng. (usa)
3
ieee transactions on automation science & engineering
3
international journal of human-computer interaction
3
j. beijing univ. aeronaut. astronaut. (china)
3
journal of beijing university of aeronautics and astronautics
3
transactions of the information processing society of japan
3
wuhan university journal of natural sciences
3
artificial intelligence in engineering
2
computers & industrial engineering
2
computing and informatics
2
data & knowledge engineering
2
data knowl. eng. (netherlands)
2
entcs: electronic notes in theoretical computer science
2
eurasian journal of science and engineering
2
ieee multimedia
2
ieee transactions on automation science and engineering
2
ieice transactions on information and systems
2
inf. softw. technol. (netherlands)
2
information & software technology
2
international journal of intelligent information technology application
2
j. comput. sci. technol. (engl. lang. ed.) (china)
2
*less* ...
*SubjectEDS*
petri nets
264
object-oriented programming
135
formal specification
68
object-oriented methods
49
parallel programming
42
petri-netz
37
*more* ...
object-oriented languages
32
specification languages
31
computing and processing
29
concurrency control
29
02 engineering and technology
27
0202 electrical engineering, electronic engineering, information engineering
27
software engineering
26
java
25
objektorientierte programmierung
24
inheritance
23
object oriented modeling
23
formal verification
20
unified modeling language
18
software prototyping
17
concurrency theory
16
multi-agent systems
16
concurrent computing
15
robotics and control systems
14
synchronisation
14
computer science
13
models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
13
other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
13
computer science - logic in computer science
12
distributed object management
12
*less* ...
*Publisher*
ieee
87
springer-verlag
29
ieee comput. soc.
17
elsevier b.v.
11
elsevier
10
springer
9
*more* ...
springer berlin heidelberg
9
springer international publishing
8
elsevier bv
7
ieee comput. soc. press
7
ieee computer society press
7
arxiv
6
acm
5
wti-frankfurt-digital gmbh
5
wiley
4
ieee operations center
3
springer science and business media llc
3
springer verlag
3
academic press
2
association for computing machinery (acm)
2
cambridge university press (cup)
2
engineering technology press
2
eptcs
2
ieee comput. soc
2
ieee computer. soc. press
2
institute of electrical and electronics engineers (ieee)
2
it-universitetet i kobenhavn
2
lausanne, epfl
2
open publishing association
2
polskie towarzystwo matematyczne
2
*less* ...
*Language*
*Category*
computers / computer science
4
computers / networking / general
4
computers / programming / general
3
computers / computer architecture
2
computers / hardware / general
2
computers / programming / compilers
2
*more* ...
business & economics / information management
1
computers / management information systems
1
computers / software development & engineering / general
1
mathematics / discrete mathematics
1
*less* ...
*SourceEDS*
Inspec
222
OpenAIRE
64
TEMA
32
IEEE Xplore Digital Library
31
dblp computer science bibliography
25
OAIster
18
*more* ...
MathSciNet via EBSCOhost
8
arXiv
6
Supplemental Index
6
Academic Search Index
5
Complementary Index
5
wiso
5
Business Source Premier
4
eBook Index
4
Scopus®
3
Science Citation Index Expanded
2
Directory of Open Access Journals
1
BazTech
1
APA PsycInfo
1
*less* ...
*adv_search_year*
*Filter*