Search for dissertations about: "formal system"
Showing result 11 - 15 of 457 swedish dissertations containing the words formal system.
-
11. Formal Languages and Automata in Computational Algebra
Abstract : This thesis is a collection of six papers in computational algebra. In particular, we study noncommutative Gröb- ner bases, SAGBI bases and similar algebraic objects which can be represented as a graph or an automaton. READ MORE
-
12. Verification of Component-based Embedded System Designs
Abstract : Embedded systems are becoming increasingly common in our everyday lives. As technology progresses, these systems become more and more complex. Designers handle this increasing complexity by reusing existing components. At the same time, the systems must fulfill strict functional and non-functional requirements. READ MORE
-
13. Formal Development of Safe and Secure Java Card Applets
Abstract : This thesis is concerned with formal development of Java Card applets. Java Card is a technology that provides a means to program smart cards with (a subset of) the Java language. In recent years Java Card technology gained great interest in the formal verification community. There are two reasons for this. READ MORE
-
14. Modeling and Formal Analysis of e-Health Systems
Abstract : With the healthcare practice being increasingly dependent on digital processes and electronic communication, there is a need to support a variety of e-Health applications of different requirements, with respect to connectivity, low latency, and high reliability. The focus of this thesis is on providing formal assurance to systems supporting e-Health applications. READ MORE
-
15. Towards Formal Verification in a Component-based Reuse Methodology
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