Search for dissertations about: "Adam Duracz"

Found 1 swedish dissertation containing the words Adam Duracz.

2. 1. Rigorous Simulation : Its Theory and Applications

   Author : Adam Duracz; Walid Taha; Veronica Gaspes; Kazunori Ueda; Högskolan i Halmstad; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; simulation; verification; interval analysis; validated numerics; hybrid systems; cyber-physical systems;

   Abstract : Designing Cyber-Physical Systems is hard. Physical testing can be slow, expensive and dangerous. Furthermore computational components make testing all possible behavior unfeasible. Model-based design mitigates these issues by making it possible to iterate over a design much faster. READ MORE