(Created page with "{{DISPLAYTITLE:BMotionWeb: A Tool for Rapid Creation of Formal Prototypes}} __NOTOC__") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{DISPLAYTITLE:BMotionWeb: A Tool for Rapid Creation of Formal Prototypes}} | {{DISPLAYTITLE:BMotionWeb: A Tool for Rapid Creation of Formal Prototypes}} | ||
__NOTOC__ | __NOTOC__ | ||
This page provides additional information and resources for the tool paper we have submitted for the [http://staf2016.conf.tuwien.ac.at/sefm/ SEFM 2016 conference]. | |||
== Resources == | |||
== Live Online Formal Prototypes == | |||
If you have troubles with running the online version, please contact Lukas Ladenberger (ladenberger@cs.uni-duesseldorf.de). | |||
=== Links === | |||
* [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio BMotionWeb Homepage] | |||
* [https://www3.hhu.de/stups/handbook/bmotion/current/html BMotionWeb User Handbook] | |||
This page provides additional information and resources for the tool paper we have submitted for the SEFM 2016 conference.
If you have troubles with running the online version, please contact Lukas Ladenberger (ladenberger@cs.uni-duesseldorf.de).