Sökning: "Therese Berg"
Hittade 2 avhandlingar innehållade orden Therese Berg.
1. Regular inference for reactive systems
Sammanfattning : 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. LÄS MER
2. Integration and Characterisation of Superconducting HEB Mixers for the Herschel Space Observatory
Sammanfattning : .... LÄS MER
Resultatsidor:
1