Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminar: Jean-Raymond Abrial

LFCS Seminar: Jean-Raymond Abrial

— filed under:

Formalizing Hybrid Systems with Event-B

  • LFCS Seminar
When Aug 21, 2012
from 04:00 PM to 05:00 PM
Where IF 4.31-33
Add event to calendar vCal

We recently wrote two papers on the development of hybrid systems with Event-B: at ABZ in June (Pisa) and at ICFEM in November (Kyoto). The talk will essentially present many examples. Again, the emphasis will be on discovering missing invariants.

Document Actions