Uploads by Ifilippi

From Murray Wiki
Jump to navigationJump to search

This special page shows all uploaded files.

File list
Date Name Thumbnail Size Description Versions
19:16, 29 December 2013 Surf2014 partitioning small.gif (file) 611 KB increased size 2
19:08, 29 December 2013 Surf2014 partitioning.gif (file) 2.12 MB trim 2
18:43, 29 December 2013 Surf2014 keymaera train.png (file) 217 KB Screenshot of [http://symbolaris.com/info/KeYmaera.html KeYmaera] proving a specification about a hybrid program representing a train. The hybrid program is from [http://symbolaris.com/pub/lahs-tutorial.pdf here]. 1
18:41, 29 December 2013 Surf2014 abstraction.png (file) 125 KB Abstraction of PWA system derived from robot_continuous_pwa.py. 1