FDR: From Theory to Industrial Application

First Author: Gibson-Robinson T
Attributed to:  Reducing Cost of Software: A Scalable Model-Based Verification Framework funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-51046-0_4

Publication URI: http://dx.doi.org/10.1007/978-3-319-51046-0_4

Type: Book Chapter

Book Title: Concurrency, Security, and Puzzles (2017)

Page Reference: 65-87

ISSN: 16113349 03029743