Search for dissertations about: "Wladimir Schamai"

Found 1 swedish dissertation containing the words Wladimir Schamai.

2. 1. Model-Based Verification of Dynamic System Behavior against Requirements : Method, Language, and Tool

   Author : Wladimir Schamai; Peter Fritzson; Hans Vangheluwe; Linköpings universitet; []
   Keywords : ;

   Abstract : Modeling and simulation of complex systems is at the heart of any modern engineering activity. Engineers strive to predict the behavior of the system under development in order to get answers to particular questions long before physical prototypes or the actual system are built and can be tested in real life. READ MORE