Your search
Boost open access documents
Linguistics tools
Statistics
2,878 hits
in 71,429,514 documents
in 0.37 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. SALT-Structured Assertion Language for Temporal Logic


Detail View Email this
  Add to Favorites Check in Google Scholar

3. Runtime Verification for LTL and TLTL


Detail View Email this
  Add to Favorites Check in Google Scholar

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


Detail View Email this
  Add to Favorites Check in Google Scholar

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


Detail View Email this
  Add to Favorites Check in Google Scholar

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

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

7. Runtime verification revisited


Detail View Email this
  Add to Favorites Check in Google Scholar

8. Security protocols, properties, and their monitoring

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

9. Chaotic Signals For Cw-Ranging Systems - A Baseband System Model For Distance And Bearing Estimation

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

10. Model-based Deployment: From a High-Level View to Low-Level Implementations

Content Provider:

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

Currently in BASE: 71,429,514 Documents of 3,428 Content Sources
http://www.base-search.net