Transcription of FINAL PROJECT REPORT - Radboud Universiteit
{{id}} {{{paragraph}}}
Example: dental hygienist
FINAL PROJECT REPORT - Radboud Universiteit
FINAL PROJECT REPORTA ugust 2007 PROJECT no.: IST-2001-35304 PROJECT Co-ordinator: Frits VaandragerProject Start Date: 1 April 02 Duration: 39 monthsProject home page: : PublicContents1 PROJECT Consortium Description .. Main Achievements .. 52 PROJECT Objectives63 PROJECT Methodologies, Results and Model-Based System Development .. PROJECT Results: Expressiveness, Performance & Tools .. Priced Timed Automata: Theory, Algorithms and Applications .. Stochastic Extensions of Timed Automata .. Modelling Frameworks for Scheduling Under (Discrete) Uncertainty Optimization and Constraint Satisfaction as a Tool for Timed Au-tomata Analysis .. Improvements in Timed Automata Model Checking Technology .. Specialized Technology for Solving Scheduling Problems with TimedAutomata.
The industrial partners, which are all prominent players in the embedded systems area, contributed complementary case studies, and used and evaluated the project results. Each industrial partner had a privileged relation with one of the academic partners: Bosch and Axxom with Dortmund, Cybernetix with Marseille, and Terma with Aalborg. 4
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: