X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Conference Proceeding (58) 58
Journal Article (57) 57
Publication (14) 14
Book Chapter (8) 8
Book / eBook (2) 2
Journal / eJournal (2) 2
Technical Report (2) 2
Dissertation (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
model-based testing (19) 19
computer science (17) 17
modellversuch (15) 15
humans (14) 14
equivalence class partition testing (10) 10
software engineering (10) 10
computer science, software engineering (9) 9
eisenbahn (8) 8
computer science, theory & methods (7) 7
formal methods (7) 7
semantics (7) 7
testverfahren (7) 7
theory of computation (7) 7
adult (6) 6
analysis (6) 6
complete testing theories (6) 6
male (6) 6
mathematical models (6) 6
peripheral vascular disease (6) 6
practice guidelines as topic (6) 6
verification (6) 6
control systems (5) 5
programming languages, compilers, interpreters (5) 5
software (5) 5
software engineering/programming and operating systems (5) 5
sysml (5) 5
[ info ] computer science [cs] (4) 4
[ info.info-ni ] computer science [cs]/networking and internet architecture [cs.ni] (4) 4
blood pressure (4) 4
csp (4) 4
domain-specific languages (4) 4
equivalence (4) 4
fehlermodell (4) 4
female (4) 4
formal verification (4) 4
hypertension - genetics (4) 4
kripke structures (4) 4
middle aged (4) 4
model checking (4) 4
networking and internet architecture (4) 4
polymorphism, genetic (4) 4
railroads (4) 4
railways (4) 4
safety (4) 4
steuerungssystem (4) 4
stichprobe (4) 4
testing (4) 4
unified modeling language (4) 4
aerospace electronics (3) 3
algorithms (3) 3
automatisches testen (3) 3
avionik (3) 3
blood-pressure (3) 3
bounded model checking (3) 3
cytochrome p-450 cyp11b2 - genetics (3) 3
decision support systems, clinical (3) 3
design (3) 3
eisenbahnnetz (3) 3
electronic health record (3) 3
embedded systems (3) 3
endlicher automat (3) 3
essential-hypertension (3) 3
fault tolerant systems (3) 3
formal specifications (3) 3
formale überprüfung (3) 3
genetics (3) 3
glif model (3) 3
interlocking systems (3) 3
logics and meanings of programs (3) 3
mathematical logic and formal languages (3) 3
medical informatics (3) 3
natural language processing (3) 3
openetcs (3) 3
phenotype (3) 3
programming languages (3) 3
programming techniques (3) 3
protocols (3) 3
prüfverfahren (3) 3
railway control systems (3) 3
railway interlocking systems (3) 3
research (3) 3
state machines (3) 3
state transition systems (3) 3
switches (3) 3
systemeigenschaft (3) 3
systemtest (3) 3
theoretical computer science (3) 3
user-computer interface (3) 3
abstract interpretation (2) 2
adaptive random testing (2) 2
adolescent (2) 2
alleles (2) 2
alpha-olefins (2) 2
angiotensin-converting-enzyme (2) 2
application software (2) 2
artificial intelligence (2) 2
avionic systems (2) 2
avionics (2) 2
blood pressure - genetics (2) 2
cardiovascular system (2) 2
more...
Library Location Library Location
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


SAE technical paper series, Volume 2015-01-2558.
Software developed according to DO-178C Level A has to undergo extremely rigorous structural coverage analysis to ensure that the code has been adequately... 
Analysis methodologies | Avionics
eJournal
SAE technical paper series, Volume 2015-01-2553.
Model-based development is a well-established and widely used technique to design and implement systems by specifying the overall architecture of a system and... 
Test procedures | Simulation and modeling | Hardware-in-the-loop
eJournal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2015, Volume 9360, pp. 133 - 151
Journal Article
International Journal on Software Tools for Technology Transfer, ISSN 1433-2779, 6/2016, Volume 18, Issue 3, pp. 265 - 283
Journal Article
Polymer, ISSN 0032-3861, 01/2011, Volume 52, Issue 2, pp. 275 - 281
Living/controlled polymerization of hex-1-ene initiated by nickel diimine catalysts of general form [ArN=C(1,8-naphthalenediyl)C=NAr]NiBr activated by simple... 
Living/controlled olefin polymerization | Nickel catalyst | Non-MAO cocatalysts | ALKYLALUMINUM COCATALYST | CHAIN-WALKING | ALPHA-OLEFINS | POLYOLEFINS | POLYMER SCIENCE | BLOCK-COPOLYMERS | METAL-CATALYSTS | OLEFIN POLYMERIZATION | LIVING POLYMERIZATION | ETHYLENE POLYMERIZATION | PROPYLENE | Polymerization | Polymers | Nickel | Activated | Dilatometry | Spectrometry | Catalysts | Catalysis | Monomers
Journal Article
International Journal on Software Tools for Technology Transfer, ISSN 1433-2779, 8/2018, Volume 20, Issue 4, pp. 441 - 465
Journal Article
Formal Aspects of Computing, ISSN 0934-5043, 3/2017, Volume 29, Issue 2, pp. 335 - 364
Journal Article
Electronic Proceedings in Theoretical Computer Science, ISSN 2075-2180, 03/2013, Volume 111, Issue Proc. MBT 2013, pp. 3 - 28
EPTCS 111, 2013, pp. 3-28 As of today, model-based testing (MBT) is considered as leading-edge technology in industry. We sketch the different MBT variants... 
Computer Science - Software Engineering
Journal Article
Software Quality Journal, ISSN 0963-9314, 6/2019, Volume 27, Issue 2, pp. 589 - 613
In this paper, a novel safety-related variant of complete test suites for finite state machines is introduced. Under certain hypotheses which are similar to... 
Programming Languages, Compilers, Interpreters | Model-based testing | Computer Science | Software Engineering/Programming and Operating Systems | Complete testing theories | Safety | Data Structures and Information Theory | Operating Systems | Software | State machines | Finite state machines
Journal Article
ACM Computing Surveys (CSUR), ISSN 0360-0300, 11/2015, Volume 48, Issue 2, pp. 1 - 41
The term "System of Systems" (SoS) has been used since the 1950s to describe systems that are composed of independent constituent systems, which act jointly... 
model-based engineering | systems engineering | System of systems | Systems engineering | Model-based engineering | Design | TAXONOMY | FORMAL SPECIFICATIONS | Languages | COMPUTER SCIENCE, THEORY & METHODS | CHALLENGES | KEY | Systems theory | Research | Engineering research
Journal Article
Polymer, ISSN 0032-3861, 10/2009, Volume 50, Issue 21, pp. 5016 - 5023
Polymerization of hex-1-ene and propene initiated by several methylalumoxane-activated diimine complexes was critically investigated. Effect of bulkiness of... 
Nickel catalyst | Living olefin polymerization | Controlled polymerization | TOPOLOGY | SYSTEM | ALPHA-OLEFINS | POLYOLEFINS | POLYMER SCIENCE | LIVING POLYMERIZATION | CATALYST | ETHYLENE | TEMPERATURE | PROPYLENE | C-13 NMR | Propylene | Polymerization | Nickel | Monomers | Polyolefins
Journal Article
SCIENCE OF COMPUTER PROGRAMMING, ISSN 0167-6423, 06/2019, Volume 179, pp. 1 - 23
In this paper, new contributions for model-based testing using Communicating Sequential Processes (CSP) are presented. For a finite non-terminating CSP process... 
COMPUTER SCIENCE, SOFTWARE ENGINEERING | CSP | Complete test suites | Model-based testing | Traces refinement | Failures refinement
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2016, Volume 9933, pp. 3 - 21
Conference Proceeding
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2018, Volume 11247, pp. 82 - 103
Conference Proceeding
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2016, Volume 9995, pp. 3 - 22
Conference Proceeding
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.