Search Results - Herrera, Fernando

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Cover Image

    Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off by Herrera, Fernando

    Published 2012
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 2
    Cover Image

    Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off by Herrera, Fernando

    Published 2012
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 3
    Cover Image

    Chapter Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models by Peil, Pablo

    Published 2012
    Other Authors: “…Herrera, Fernando…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 4
    Cover Image

    Chapter Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models by Peil, Pablo

    Published 2012
    Other Authors: “…Herrera, Fernando…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: