Showing
1 - 3
results of
3
for search '
"Lapschies, Florian"
'
Skip to content
Portal K.UTB
Čeština
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
Find
Advanced Search
Search Results - "Lapschies, Florian"
Showing
1 - 3
results of
3
for search '
"Lapschies, Florian"
'
, query time: 0.51s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
1
Loading…
Automated Test Case Generation with SMT-Solving and Abstract Interpretation
by
Peleska, Jan
,
Vorobev, Elena
,
Lapschies
,
Florian
Published in
NASA Formal Methods
Get full text
Book Chapter
Save to List
Saved in:
2
Loading…
A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain
by
Peleska, Jan
,
Honisch, Artur
,
Lapschies
,
Florian
,
Löding, Helge
,
Schmid, Hermann
,
Smuda, Peer
,
Vorobev, Elena
,
Zahlten, Cornelia
Published in
Testing Software and Systems
Get full text
Book Chapter
Save to List
Saved in:
3
Loading…
Model-Based Testing from Controlled Natural Language Requirements
by
Carvalho, Gustavo
,
Barros, Flávia
,
Lapschies
,
Florian
,
Schulze, Uwe
,
Peleska, Jan
Published in
Formal Techniques for Safety-Critical Systems
(2014)
Get full text
Book Chapter
Save to List
Saved in:
RSS Feed
Email Search
Save Search
Search History
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit to articles from scholarly journals
Limit to articles with full text available
Limit to Open Access content
Exclude newspaper articles
Include articles at other libraries
Expand results using synonyms
Format
Conference Proceeding
2 results
2
Book Chapter
1 results
1
Subject Area
computer science
3 results
3
engineering
1 results
1
Topic
computer science
2 results
2
computer science, software engineering
2 results
2
computer science, theory & methods
2 results
2
science & technology
2 results
2
technology
2 results
2
basic control state
1 results
1
See more
Language
English
3 results
3
Year of Publication
From:
To:
Database
SpringerLink Books
1 results
1
eBooks on EBSCOhost
1 results
1
Springer Books
1 results
1