Search for dissertations about: "techonology"

Found 1 swedish dissertation containing the word techonology.

2. 1. Towards Formal Verification in a Component-based Reuse Methodology

   Author : Daniel Karlsson; Petru Eles; Zebo Peng; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formal verification; Model checking; Petri net; Reuse; Computer science; Datavetenskap;

   Abstract : Embedded systems are becoming increasingly common in our everyday lives. As techonology progresses, these systems become more and more complex. Designers handle this increasing complexity by reusing existing components (Intellectual Property blocks). READ MORE