Event-B Generic Instantiation Files

A Rodin Platform Plug-in for Generic Instantiation

Status: Alpha

Brought to you by: fuersta, hitachi-ethz, naotosato, tshoang

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	InfoDownloads / Week
Parent folder
1.1.1	2015-09-09	0
1.1.0	2014-08-01	0
1.0.3	2014-07-02	0
1.0.1	2014-07-02	0
Totals: 4 Items		0

Other Useful Business Software

Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free

Recommended Projects

Image classification models for Keras
Keras code and weights files for popular deep learning models
VHDL Notepad++ Plugin
VHDL Plugin for the Notepad++ Editor
Generic Graphics Toolkit
The Generic Graphics Toolkit is a library of generic programming primitives that allow applications to be written that adapt to whatever underlying graphics system the developer is using.
Generic Mobility Simulation Framework
Generic Mobility Simulation Framework (GMSF)
EDIFACT Viewer
Generic viewer for UN/EDIFACT files and interpreter for MSCONS and ORDRSP messages