CSP||B

A combined approach to specification development

[+] Upcoming

Event Synopsis Resources
Presentation at Formal Methods for Intelligent Transportation Systems Helen Treharne will be attending ISOLA, 15-18 October 2012 to give a talk in the track organised by Alessandro Fantechi (DSI - Univ. of Florence), Francesco Flammini (Ansaldo STS), Stefania Gnesi (ISTI - CNR - Pisa). To be uploaded
Paper at HVC Markus Roggenbach will be attending HVC November 2012 to present a collaborative CSP||B paper on railway modelling and abstraction. To be uploaded

[+] 2012

Event Synopsis Resources
Paper at AVOCS 2012 Helen Treharne will be attending ISOLA, 15-18 October 2012 to give a talk in the track organised by Alessandro Fantechi (DSI - Univ. of Florence), Francesco Flammini (Ansaldo STS), Stefania Gnesi (ISTI - CNR - Pisa). Slides from talk
Presentation at Dagsthul Seminar Helen Treharne presented ideas on using CSP||B for railway modelling at the seminar in July 2012. To be uploaded
iFM2012 Hoang Nga Ngyuen and Helen Treharne attended iFM 2012 to promote the application of CSP||B to railway modelling To be uploaded