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	Size	InfoDownloads / Week
Parent folder
README.md	2015-01-19	68 Bytes	0
Stack-141119.pdf	2015-01-19	546.7 kB	0
Stack-141119.zip	2015-01-19	33.4 kB	0
Totals: 3 Items		580.2 kB	0

This folder contains examples for the Generic Instantiation plug-in.

Source: README.md, updated 2015-01-19

Other Useful Business Software

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Try Free

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Try Free

Recommended Projects

Repository
Repository is a collection of tools used to create various projects, modules, packages, frameworks from templates. These tools are based on unified mechanism of template description and instantiation. The main goal of this mechanism is to provide a way to
Image classification models for Keras
Keras code and weights files for popular deep learning models
egg-core
A core Pluggable framework based on koa
VHDL Notepad++ Plugin
VHDL Plugin for the Notepad++ Editor
Integrals.jl
A common interface for quadrature and numerical integration