Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Jan Schaer"'
Autor:
Lukas Humbel, Michael Giardino, Roni Haecki, David Cock, Jan Schaer, Daniel David Schwyn, Timothy Roscoe, Melissa Licciardello, Nora Hossle
Publikováno v:
Model Checking Software ISBN: 9783030846282
SPIN
SPIN
I2C is a pervasive bus protocol used for querying sensors and actuators, but it is plagued with incompatible devices, violating the specification at various levels.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::133b383617e5f964aeadb15da2af466a
https://doi.org/10.1007/978-3-030-84629-9_10
https://doi.org/10.1007/978-3-030-84629-9_10
