Hyppää sisältöön
    • FI
    • ENG
  • FI
  • /
  • EN
OuluREPO – Oulun yliopiston julkaisuarkisto / University of Oulu repository
Näytä viite 
  •   OuluREPO etusivu
  • Oulun yliopisto
  • Rajattu saatavuus
  • Näytä viite
  •   OuluREPO etusivu
  • Oulun yliopisto
  • Rajattu saatavuus
  • Näytä viite
JavaScript is disabled for your browser. Some features of this site may not work without it.

Case studies on formal assertion-based verification of a SoC design

Tallgren, Mauno (2017-05-31)

 
Avaa tiedosto
nbnfioulu-201706082652.pdf (2.660Mt)
nbnfioulu-201706082652_pdfa_report.xml (208.5Kt)
nbnfioulu-201706082652_mods.xml (14.35Kt)
nbnfioulu-201706082652_solr.xml (31.77Kt)
Lataukset: 

Rajoitetun näkyvyyden opinnäytteet ovat luettavissa vain OuluREPO-työasemilla: https://oulurepo.oulu.fi/handle/10024/5
Tallgren, Mauno
M. Tallgren
31.05.2017
© 2017 Mauno Tallgren. Tämä Kohde on tekijänoikeuden ja/tai lähioikeuksien suojaama. Voit käyttää Kohdetta käyttöösi sovellettavan tekijänoikeutta ja lähioikeuksia koskevan lainsäädännön sallimilla tavoilla. Muunlaista käyttöä varten tarvitset oikeudenhaltijoiden luvan.
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:oulu-201706082652
Kokoelmat
  • Rajattu saatavuus [12209]
oulurepo@oulu.fiOulun yliopiston kirjastoOuluCRISLaturiMuuntaja
SaavutettavuusselosteTietosuojailmoitusYlläpidon kirjautuminen
 

Selaa kokoelmaa

NimekkeetTekijätJulkaisuajatAsiasanatUusimmatSivukartta

Omat tiedot

Kirjaudu sisäänRekisteröidy
oulurepo@oulu.fiOulun yliopiston kirjastoOuluCRISLaturiMuuntaja
SaavutettavuusselosteTietosuojailmoitusYlläpidon kirjautuminen