The top documents tagged [refinement levels]

Tutorial: a Practical Introduction to using Event-B for Complex Hardware and Embedded System Specification and Design John Colley FDL 2012 Vienna.

Tutorial: a Practical Introduction to using Event-B for Complex Hardware and Embedded System Specification and Design John Colley FDL 2012 Vienna.

215 views
John Colley FDL 2012 Vienna

John Colley FDL 2012 Vienna

37 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS