59

A 27-MHz digital-to-analog video processor

Year:
1988
Language:
english
File:
PDF, 1.06 MB
english, 1988
71

Event-B patterns and their tool support

Year:
2013
Language:
english
File:
PDF, 814 KB
english, 2013
83

Formalizing hybrid systems with Event-B and the Rodin Platform

Year:
2014
Language:
english
File:
PDF, 1.32 MB
english, 2014