 | | Interruptions in BrickOS —Martin De Wulf
| | | | Hi, I'am a researcher of the Free University Of Brussels. We're currently working on embedded systems. We would like to generate code for embedded systems from a specification language which could be used for formal verification. We chose Legos for (...) (22 years ago, 4-Nov-02, to lugnet.robotics.rcx.legos)
| | | | | | | | | | Re: Interruptions in BrickOS —Joseph Woolley
| | | | | Good questions! See responses below... "Martin De Wulf" <madewulf@ulb.ac.be> wrote in message news:H51ItF.Ax1@lugnet.com... <snip> (...) You may want to check out the latest (now called BrickOS) at (URL) For us, real-time properties of the platform (...) (22 years ago, 4-Nov-02, to lugnet.robotics.rcx.legos)
| | | | | | |
