Your search
Boost open access documents
Linguistics tools
Statistics
2,721 hits
in 69,696,404 documents
in 0.25 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. Runtime Verification for LTL and TLTL


Detail View Email this
  Add to Favorites Check in Google Scholar

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


Detail View Email this
  Add to Favorites Check in Google Scholar

4. SALT-Structured Assertion Language for Temporal Logic


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. Runtime verification revisited


Detail View Email this
  Add to Favorites Check in Google Scholar

7. The contribution of free software to software evolution

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

8. LTL GoalSpecifications Revisited

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

9. ASEAM - Overview and Specification

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
Sort Your Results
Refine Search Result
Results:   1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11  Next »  [100]

Currently in BASE: 69,696,404 Documents of 3,363 Content Sources
http://www.base-search.net