You are here

HATS FMCO 2010 Session

The HATS project was invited to organise a session at FMCO 2010 in Graz. Back from Graz we can happily report that the session had been a success. 

In four presentations we gave an exciting overview on the results and ongoing research done within HATS. For the first time we also publicly presented the current tools of the ABS Tool suite.

Presentations: