kw's blog - Model-Checking Real-Time Control Programs - Verifying LEGO Mindstorms Systems Using UPPAAL

kw's blog - Model-Checking Real-Time Control Programs - Verifying LEGO Mindstorms Systems Using UPPAAL http://mizunashi.net:80/blog/2006/12/06/1165391713000.html LEGO Mindstroms 上で動くプログラムを UPPAAL で検証したという論文。スケジューラのモデ... ja kw Wed, 06 Dec 2006 07:55:13 GMT kw 2006-12-06T07:55:13Z ja kw kw's blog http://mizunashi.net:80/blog/