Projects
showing 1 - 4 of 4
-
- Members:
- 11
We are going to attempt to create a map engine for our campus using android and google maps.
-
- Members:
- 1
This project aims to provide a simple way for mirroring data across network. This project contains a modfied version of jnag 1.2.1 modified to provide data mirroring. This is a temporary project in alpha stage
-
- Members:
- 3
A compiler and code generator for C language concurrent statecharts. Harel type statecharts are encoded and model-checked, and a C program is produced as output for executing on an embedded system.
-
- Members:
- 2
This project aims at developing a tool for modeling and analyzing several kinds of state machines.







