TIMA Laboratory | Publications
Consultation
Liste par type de publication
Liste des documents
Liste par année
Liste par auteurs
Rechercher
251 articles – 2007 Notices
[english version]
.:.
Consultation
>
Liste par année
> 1980 .:.
7 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
CONLAN-a formal construction method for hardware description languages: language derivation
Piloty R. et al
Dans
AFIPS-Conference-Proceedings.-1980-National-Computer-Conference.
-
AFIPS-Conference-Proceedings.-1980-National-Computer-Conference.
, États-Unis (1980) [hal-00014331 - version 1]
An overview of CONLAN: a formal construction method for hardware description languages
Piloty R. et al
Dans
Information-Processing-80.-Proceedings-of-the-IFIP-Congress-80
-
Information-Processing-80.-Proceedings-of-the-IFIP-Congress-80
, Japon (1980) [hal-00014330 - version 1]
CONLAN-a formal construction method for hardware description languages: basic principles
Piloty R. et al
Dans
AFIPS-Conference-Proceedings.-1980-National-Computer-Conference.
-
AFIPS-Conference-Proceedings.-1980-National-Computer-Conference.
, États-Unis (1980) [hal-00014329 - version 1]
CONLAN-a formal construction method for hardware description languages: language application
Piloty R. et al
Dans
AFIPS-Conference-Proceedings.-1980-National-Computer-Conference.
-
AFIPS-Conference-Proceedings.-1980-National-Computer-Conference.
, États-Unis (1980) [hal-00014327 - version 1]
Optimal frequencies for concurrent and periodical tests of logical systems
Courtois B.
Dans
Second-International-Conference-on-Reliability-and-Maintainability
-
Second-International-Conference-on-Reliability-and-Maintainability
, France (1980) [hal-00013635 - version 1]
The functional test parameter of a microprocessor
Robach C. et al
RAIRO. Revue Technique et Science Informatiques
14(3)
(1980) 293-308 [hal-00013385 - version 1]
Flexible test method for microprocessors
Robach C. et al
Dans
Microprocessor-Systems:-Software,-Firmware-and-Hardware.-Sixth-EUROMICRO-Symposium-on-Microprocessing-and-Microprogramming
-
Microprocessor-Systems:-Software,-Firmware-and-Hardware.-Sixth-EUROMICRO-Symposium-on-Microprocessing-and-Microprogramming
, Royaume-Uni (1980) [hal-00013384 - version 1]