Your search
Boost open access documents
Linguistics tools
Statistics
62 hits
in 71,574,639 documents
in 0.27 seconds
Home » Search: Henning Dierks
Hit List

1. Specification and Verification of Polling Real-Time Systems (Extended Abstract)

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

2. Time, Abstraction and Heuristics Automatic Verification and Planning of Timed Systems using Abstraction and Heuristics

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

3. PLC-Automata: A New Class of Implementable Real-Time Automata

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

4. PLC-Automata: A New Class of Implementable Real-Time Automata

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

5. Modelling and Verifying of a "Cash-Point Service" using Moby/PLC

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

6. A Unifying Framework for Correct Program Construction

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

7. Constructing test automata from graphical real-time requirements

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

8. for Real-Time Systems y

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

9. Tool-Supported Hierarchical Design of Distributed Real-Time Systems

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

10. Tool-Supported Hierarchical Design of Distributed RealTime Systems

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  Next »  

Currently in BASE: 71,574,639 Documents of 3,436 Content Sources
http://www.base-search.net