Search

Your search keyword '"Uchitel, Sebastian"' showing total 18 results

Search Constraints

Start Over You searched for: Author "Uchitel, Sebastian" Remove constraint Author: "Uchitel, Sebastian" Database Supplemental Index Remove constraint Database: Supplemental Index
18 results on '"Uchitel, Sebastian"'

Search Results

1. Control and Discovery of Environment Behaviour

2. Dynamic Update of Discrete Event Controllers

4. Interaction Models and Automated Control under Partial Observable Environments

5. WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography.

6. Reliability Prediction in Model-Driven Development.

7. Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems.

8. Probabilistic Interface Automata

9. Fluent temporal logic for discrete-time event-based models

10. Sensitivity analysis for a scenario-based reliability prediction model

11. System architecture

12. Merging partial behavioural models

14. Negative scenarios for implied scenario elicitation

15. Implied Scenario Detection in the Presence of Behaviour Constraints.

16. Detecting implied scenarios in message sequence chart specifications

Catalog

Books, media, physical & digital resources