Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Indra Polak"'
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540601173
MPC
MPC
We explore several ways to formalize the algebraic laws of CSP-like languages in HOL. The intent of the paper is to show how HOL can be tailored to acting as a proof assistant. The emphasis is therefore on the consequences of various choices to be ma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8b6d52ce94ebc2660e31353db86bb5a7
https://doi.org/10.1007/3-540-60117-1_17
https://doi.org/10.1007/3-540-60117-1_17
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540584681
FTRTFT
FTRTFT
We analyze a simple version of a protocol developed by Philips for the physical layer of an interface bus that connects the various devices of some stereo equipment (tuner, CD player,...). The protocol, which uses Manchester encoding, has to deal wit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::52c515cd8c4c522b66a326ce6969b636
https://doi.org/10.1007/3-540-58468-4_165
https://doi.org/10.1007/3-540-58468-4_165
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.