File list

From MurrayWiki
Jump to: navigation, search

This special page shows all uploaded files.

File list
Items per page:
Search for media name:
Username:
Include old versions of images

descDate Name Thumbnail Size User Description Versions
19:16, 29 December 2013 Surf2014 partitioning small.gif (file) 611 KB Ifilippi increased size 2
19:08, 29 December 2013 Surf2014 partitioning.gif (file) 2.12 MB Ifilippi trim 2
18:43, 29 December 2013 Surf2014 keymaera train.png (file) 217 KB Ifilippi 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 Ifilippi Abstraction of PWA system derived from robot_continuous_pwa.py. 1