Your search
Boost open access documents
Linguistics tools
Statistics
2,636 hits
in 68,072,316 documents
in 0.28 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. DOI 10.1007/s10626-009-0084-5 Prognosis of ω-Languages for the Diagnosis of ∗-Languages: A Topological Perspective

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

7. Security protocols, properties, and their monitoring

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

8. Volterra Kernel for Automatic Analysis and Optimisation Of Nonlinear Analogue Circuits

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

9. Cultivation-independent establishment of genetically engineered plants in natural populations: current evidence and implications for EU regulation


Detail View Email this
  Add to Favorites Check in Google Scholar

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

Currently in BASE: 68,072,316 Documents of 3,307 Content Sources
http://www.base-search.net