Your search
Boost open access documents
Linguistics tools
Statistics
2,998 hits
in 72,404,354 documents
in 0.38 seconds
Home » Search: Andreas Bauer
Hit List

1. Model-Based Deployment: From a High-Level View to Low-Level Implementations


Detail View Email this   Add to Favorites Check in Google Scholar

2. Compatibility and reuse in component-based systems via type and unit inference


Detail View Email this   Add to Favorites Check in Google Scholar

3. SALT-Structured Assertion Language for Temporal Logic


Detail View Email this   Add to Favorites Check in Google Scholar

4. Runtime Verification for LTL and TLTL


Detail View Email this   Add to Favorites Check in Google Scholar

5. The good, the bad, and the ugly - but how ugly is ugly?


Detail View Email this   Add to Favorites Check in Google Scholar

6. Tool−support for the analysis of hybrid systems and models


Detail View Email this   Add to Favorites Check in Google Scholar

7. Compatibility and reuse in component−based systems via type and unit inference


Detail View Email this   Add to Favorites Check in Google Scholar

8. Runtime verification revisited


Detail View Email this   Add to Favorites Check in Google Scholar

9. Model-Based Deployment in Automotive Embedded Software: From a High-Level View to Low-Level Implementations

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

10. A brief top-down and bottom-up philosophy on software evolution

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar
All Records
Sort Your Results
Refine Search Result
Results:   1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11  Next »  [100]

Currently in BASE: 72,404,354 Documents of 3,481 Content Sources
http://www.base-search.net