National Repository of Grey Literature 1 records found  Search took 0.00 seconds. 

Warning: Requested record does not seem to exist.
Model of Tasks with Constrains and Mechanisms of Their Scheduling in UPPAAL SMC
Palúch, Filip ; Podivínský, Jakub (referee) ; Strnadel, Josef (advisor)
The effort of this thesis is the review of mechanisms of tasks planning in singlecore environment. Each models are designed and implemented in tool UPPAAL using these mechanisms. The main focus in this thesis is the tool UPPAAL. Result of this thesis is verification of each mechanisms properties received from implementation of models in UPPAAL. TimesTool and Cheddar are the tools which are used for comparing our results from UPPAAL.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.