000031787 001__ 31787
000031787 005__ 20180501105741.0
000031787 0247_ $$2doi$$a10.5075/epfl-thesis-1309
000031787 02471 $$2nebis$$a1404243
000031787 037__ $$aTHESIS_LIB
000031787 041__ $$aeng
000031787 088__ $$a1309
000031787 245__ $$aA methodology for designing and using a hardware system specification environment
000031787 269__ $$a1995
000031787 260__ $$aLausanne$$bEPFL$$c1995
000031787 300__ $$a126
000031787 336__ $$aTheses
000031787 700__ $$aMunk, Charles
000031787 720_2 $$aMlynek, Daniel$$edir.
000031787 8564_ $$s6005939$$uhttps://infoscience.epfl.ch/record/31787/files/EPFL_TH1309.pdf$$yTexte intégral / Full text$$zTexte intégral / Full text
000031787 909C0 $$pLTS3
000031787 909C0 $$0252288$$pSCI-STI-MM$$xU12149
000031787 909CO $$ooai:infoscience.tind.io:31787$$pthesis$$pDOI2$$pDOI$$pSTI
000031787 919__ $$aLTS3
000031787 919__ $$aGR-LSM
000031787 920__ $$b1994
000031787 970__ $$a1309/THESES
000031787 973__ $$aEPFL$$sPUBLISHED
000031787 980__ $$aTHESIS