Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata (Q115722290)

From Wikidata
Jump to navigation Jump to search
scientific article published in 2012
edit
Language Label Description Also known as
English
Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata
scientific article published in 2012

    Statements

    Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata (English)

    Identifiers

     
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    edit