Attention users: You may encounter disruptions to ERA as we complete maintenance work. We are sorry for any inconvenience this causes you, and will have things back in order as soon as possible! -ERA Administrator, Tuesday, October 20, 2020
Search
Skip to Search Results
Filter
Subject / Keyword
Author / Creator / Contributor
Year
Collections
Languages
Item type
-
Behavioral Verification of Small Networks of State-Machines Built with Arduino-like Processors
DownloadFall 2012
Inexpensive yet versatile limited-capability processors enable computing to be embedded in many kinds of devices and situations. Most applications are simple purpose-programmed reactive systems that interact with the environment through sensors and actuators. Because the processors are limited...
1 - 1 of 1