Your search
Boost open access documents
Linguistics tools
Statistics
63 hits
in 72,247,077 documents
in 0.25 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. for Real-Time Systems y

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

3. Constructing Test Automata from Graphical Real-Time Requirements

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

4. Heuristic Guided Model-Checking of Real-Time Systems ⋆

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

5. Moby/DC — A Tool for Model-Checking Parametric Real-Time Specifications

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

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

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

7. The Production Cell: A Verified Real-Time System

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

8. A Process Algebra for Real-Time Programs

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

9. Constructing Test Automata from Graphical Real-Time Requirements

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

10. Under consideration for publication in Formal Aspects of Computing Comparing Model-Checking and Logical Reasoning for Real-Time Systems

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

Currently in BASE: 72,247,077 Documents of 3,474 Content Sources
http://www.base-search.net