Search for dissertations about: "Therese Berg"

Found 2 swedish dissertations containing the words Therese Berg.

  2. 1. Regular inference for reactive systems

    Author : Therese Berg; Bengt Jonsson; Joachim Parrow; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

    Abstract : Models of reactive systems play a central role in many techniques for verification and analysis of reactive systems. Both a specification of the system and the abstract behavior of the system can be expressed in a formal model. Compliance with the functional parts in the specification can be controlled in different ways. READ MORE

  4. 2. Integration and Characterisation of Superconducting HEB Mixers for the Herschel Space Observatory

    Author : Therese Berg; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; HEB mixer; Herschel Space Observatory; terahertz technology;

    Abstract : .... READ MORE