Sökning: "Mikael Hagman"

Hittade 2 uppsatser innehållade orden Mikael Hagman.

  1. 1. Arvbarhet av dilaterad kardiomyopati hos Newfoundlandhundar

    L3-uppsats, SLU/Dept. of Clinical Sciences

    Författare :Mikael Hagman; [2009]
    Nyckelord :dilaterad kardiomyopati; dcm; newfoundland; hund; ärftlighet; arvsgång; nedärvning;

    Sammanfattning : Dilaterad kardiomyopati (DCM) är en relativt vanlig och mycket allvarlig sjukdom hos hundrasen Newfoundland. Sjudomen kännetecknas av att hjärtats kontraktionsförmåga minskar vilket leder till symtom på hjärtsvikt. Syftet med studien är att undersöka om sjukdomen är ärftlig och, i så fall, sjukdomens arvsgång. LÄS MER

  3. 2. Instrumentation of timed automata for formal verification of timed properties

    Uppsats för yrkesexamina på grundnivå, Institutionen för datavetenskap

    Författare :Mikael Hagman; [2007]
    Nyckelord :Embedded systems; formal verification; Petri Net; PRES ; Timed Automata;

    Sammanfattning : Embedded systems are used in many technical products of today. The tendency also points to the fact that they are in many ways becoming more and more complex as technology advances. Systems like advanced avionics, air bags, ABS brakes or any real-time embedded system requires reliability, correctness and timeliness. LÄS MER