First Page | Document Content | |
---|---|---|
Date: 2000-01-25 09:02:49Computing Integrated development environments Not Quite C RCX Lego For Inspiration and Recognition of Science and Technology Uppaal Model Checker HiC Scheduling Robotics Lego Mindstorms Robot kits | BRICS Basic Research in Computer Science BRICS RSIversen et al.: Model-Checking Real-Time Control Programs Model-CheckingAdd to Reading ListSource URL: www.brics.dkDownload Document from Source WebsiteFile Size: 146,00 KBShare Document on Facebook |