2775 search results - page 26 / 555 » Visualizing abstract events |
GD
2000
Springer
15 years 6 months ago
2000
Springer
DICTA
2003
15 years 4 months ago
2003
CGF
2008
15 years 3 months ago
2008
bstractions of Solvent Pathlines near Protein Cavities Katrin Bidmon1 , Sebastian Grottel1 , Fabian B
VLC
1998
15 years 2 months ago
1998
116
click to vote
SBMF
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...