Showing 1 - 6 results of 6 for search 'I. Kristina Lundqvist.', query time: 0.02s Refine Results
  1. 1
    The VAT tool : automatic transformation of VHDL to timed automata

    The VAT tool : automatic transformation of VHDL to timed automata by Nehme, Carl, 1981-

    Published 2005
    Other Authors: “…I. Kristina Lundqvist.…”
    Get full text
    Thesis
  2. 2
    The Ravenscar-compliant hardware run-time (Ravenhart) kernel

    The Ravenscar-compliant hardware run-time (Ravenhart) kernel by Silbovitz, Anna, 1979-

    Published 2005
    Other Authors: “…I. Kristina Lundqvist.…”
    Get full text
    Thesis
  3. 3
    pGNAT : the Ravenscar cross compiler for the Gurkh Project

    pGNAT : the Ravenscar cross compiler for the Gurkh Project by Seeumpornroj, Pee, 1979-

    Published 2005
    Other Authors: “…I. Kristina Lundqvist.…”
    Get full text
    Thesis
  4. 4
    A non-intrusive fault tolerant framework for mission critical real-time systems

    A non-intrusive fault tolerant framework for mission critical real-time systems by Gorelov, Sébastien

    Published 2006
    Other Authors: “…I. Kristina Lundqvist.…”
    Get full text
    Thesis
  5. 5
    A formal framework for specification-based embedded real-time system engineering

    A formal framework for specification-based embedded real-time system engineering by Ouimet, Martin, 1975-

    Published 2009
    Other Authors: “…I. Kristina Lundqvist.…”
    Get full text
    Thesis
  6. 6
    A method for mapping between ASMs and implementation language

    A method for mapping between ASMs and implementation language by Wang, David Cheng-Ping

    Published 2010
    Other Authors: “…I. Kristina Lundqvist and R. John Hansman.…”
    Get full text
    Thesis

Search Tools: