📣 Try out the NEW Gateway to Research and let us know what you think.

We're looking for users to test the new service during August and September and share their feedback. Express your interest by completing this short form.

Formal Verification of Signalling Programs with SafeCap

First Author: Iliasov A

Attributed to: STRATA; Layers for Structuring Trustworthy Ambient Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-99130-6_7

Publication URI: http://dx.doi.org/10.1007/978-3-319-99130-6_7

Type: Book Chapter

Book Title: Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings (2018)

Page Reference: 91-106

ISSN: 2190-5738