Verfügbarkeit: Formal Analysis by Abstract Interpretation

Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Aziz, Benjamin (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Cham Springer International Publishing 2022 Cham Springer
Ausgabe:	1st ed. 2022
Schriftenreihe:	SpringerBriefs in Applied Sciences and Technology
Schlagwörter:	Mathematical Logic and Formal Languages Computer Communication Networks Cyber-physical systems, IoT. Professional Computing Communications Engineering, Networks Mathematical logic Computer communication systems Computer engineering Internet of things Embedded computer systems Computer software Electrical engineering
Links:	https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9 https://doi.org/10.1007/978-3-030-91153-9
Umfang:	1 Online-Ressource (XII, 113 p. 25 illus)
ISBN:	9783030911539
ISSN:	2191-5318
DOI:	10.1007/978-3-030-91153-9

Internformat

MARC


LEADER	00000nam a2200000zc 4500
001	BV047690501
003	DE-604
005	20221022
007	cr\|uuu---uuuuu
008	220119s2022 xx o\|\|\|\| 00\|\|\| eng d
020			\|a 9783030911539 \|c Online \|9 978-3-030-91153-9
024	7		\|a 10.1007/978-3-030-91153-9 \|2 doi
035			\|a (ZDB-2-SCS)9783030911539
035			\|a (OCoLC)1310249541
035			\|a (DE-599)BVBBV047690501
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-355 \|a DE-860 \|a DE-19 \|a DE-Aug4 \|a DE-188 \|a DE-523 \|a DE-859 \|a DE-473 \|a DE-29 \|a DE-1050 \|a DE-20 \|a DE-92 \|a DE-824 \|a DE-384 \|a DE-573 \|a DE-M347 \|a DE-703 \|a DE-706 \|a DE-634 \|a DE-739 \|a DE-898
082	0		\|a 005.131 \|2 23
100	1		\|a Aziz, Benjamin \|e Verfasser \|4 aut
245	1	0	\|a Formal Analysis by Abstract Interpretation \|b Case Studies in Modern Protocols \|c by Benjamin Aziz
250			\|a 1st ed. 2022
264		1	\|a Cham \|b Springer International Publishing \|c 2022
264		1	\|a Cham \|b Springer
300			\|a 1 Online-Ressource (XII, 113 p. 25 illus)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a SpringerBriefs in Applied Sciences and Technology \|x 2191-5318
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Computer Communication Networks
650		4	\|a Cyber-physical systems, IoT.
650		4	\|a Professional Computing
650		4	\|a Communications Engineering, Networks
650		4	\|a Mathematical logic
650		4	\|a Computer communication systems
650		4	\|a Computer engineering
650		4	\|a Internet of things
650		4	\|a Embedded computer systems
650		4	\|a Computer software
650		4	\|a Electrical engineering
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-91152-2
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-91154-6
856	4	0	\|u https://doi.org/10.1007/978-3-030-91153-9 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS
940	1		\|q ZDB-2-SCS_2022
943	1		\|a oai:aleph.bib-bvb.de:BVB01-033074501
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-Aug4 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-1050 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-573 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-92 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-898 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-859 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-860 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-523 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-384 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-703 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-20 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-824 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-29 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-91153-9 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1818988671456509952
any_adam_object
author	Aziz, Benjamin
author_facet	Aziz, Benjamin
author_role	aut
author_sort	Aziz, Benjamin
author_variant	b a ba
building	Verbundindex
bvnumber	BV047690501
collection	ZDB-2-SCS
ctrlnum	(ZDB-2-SCS)9783030911539 (OCoLC)1310249541 (DE-599)BVBBV047690501
dewey-full	005.131
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.131
dewey-search	005.131
dewey-sort	15.131
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-030-91153-9
edition	1st ed. 2022
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03929nam a2200769zc 4500</leader><controlfield tag="001">BV047690501</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221022 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">220119s2022 xx o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030911539</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-91153-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-91153-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783030911539</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1310249541</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047690501</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-898</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Aziz, Benjamin</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal Analysis by Abstract Interpretation</subfield><subfield code="b">Case Studies in Modern Protocols</subfield><subfield code="c">by Benjamin Aziz</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2022</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2022</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 113 p. 25 illus)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">SpringerBriefs in Applied Sciences and Technology</subfield><subfield code="x">2191-5318</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Cyber-physical systems, IoT.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Professional Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Communications Engineering, Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer communication systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Internet of things</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electrical engineering</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-91152-2</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-91154-6</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2022</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033074501</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-523</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-824</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-91153-9</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV047690501
illustrated	Not Illustrated
indexdate	2024-12-20T19:26:17Z
institution	BVB
isbn	9783030911539
issn	2191-5318
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-033074501
oclc_num	1310249541
open_access_boolean
owner	DE-355 DE-BY-UBR DE-860 DE-19 DE-BY-UBM DE-Aug4 DE-188 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-1050 DE-20 DE-92 DE-824 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-634 DE-739 DE-898 DE-BY-UBR
owner_facet	DE-355 DE-BY-UBR DE-860 DE-19 DE-BY-UBM DE-Aug4 DE-188 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-1050 DE-20 DE-92 DE-824 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-634 DE-739 DE-898 DE-BY-UBR
physical	1 Online-Ressource (XII, 113 p. 25 illus)
psigel	ZDB-2-SCS ZDB-2-SCS_2022
publishDate	2022
publishDateSearch	2022
publishDateSort	2022
publisher	Springer International Publishing Springer
record_format	marc
series2	SpringerBriefs in Applied Sciences and Technology
spelling	Aziz, Benjamin Verfasser aut Formal Analysis by Abstract Interpretation Case Studies in Modern Protocols by Benjamin Aziz 1st ed. 2022 Cham Springer International Publishing 2022 Cham Springer 1 Online-Ressource (XII, 113 p. 25 illus) txt rdacontent c rdamedia cr rdacarrier SpringerBriefs in Applied Sciences and Technology 2191-5318 Mathematical Logic and Formal Languages Computer Communication Networks Cyber-physical systems, IoT. Professional Computing Communications Engineering, Networks Mathematical logic Computer communication systems Computer engineering Internet of things Embedded computer systems Computer software Electrical engineering Erscheint auch als Druck-Ausgabe 978-3-030-91152-2 Erscheint auch als Druck-Ausgabe 978-3-030-91154-6 https://doi.org/10.1007/978-3-030-91153-9 Verlag URL des Erstveröffentlichers Volltext
spellingShingle	Aziz, Benjamin Formal Analysis by Abstract Interpretation Case Studies in Modern Protocols Mathematical Logic and Formal Languages Computer Communication Networks Cyber-physical systems, IoT. Professional Computing Communications Engineering, Networks Mathematical logic Computer communication systems Computer engineering Internet of things Embedded computer systems Computer software Electrical engineering
title	Formal Analysis by Abstract Interpretation Case Studies in Modern Protocols
title_auth	Formal Analysis by Abstract Interpretation Case Studies in Modern Protocols
title_exact_search	Formal Analysis by Abstract Interpretation Case Studies in Modern Protocols
title_full	Formal Analysis by Abstract Interpretation Case Studies in Modern Protocols by Benjamin Aziz
title_fullStr	Formal Analysis by Abstract Interpretation Case Studies in Modern Protocols by Benjamin Aziz
title_full_unstemmed	Formal Analysis by Abstract Interpretation Case Studies in Modern Protocols by Benjamin Aziz
title_short	Formal Analysis by Abstract Interpretation
title_sort	formal analysis by abstract interpretation case studies in modern protocols
title_sub	Case Studies in Modern Protocols
topic	Mathematical Logic and Formal Languages Computer Communication Networks Cyber-physical systems, IoT. Professional Computing Communications Engineering, Networks Mathematical logic Computer communication systems Computer engineering Internet of things Embedded computer systems Computer software Electrical engineering
topic_facet	Mathematical Logic and Formal Languages Computer Communication Networks Cyber-physical systems, IoT. Professional Computing Communications Engineering, Networks Mathematical logic Computer communication systems Computer engineering Internet of things Embedded computer systems Computer software Electrical engineering
url	https://doi.org/10.1007/978-3-030-91153-9
work_keys_str_mv	AT azizbenjamin formalanalysisbyabstractinterpretationcasestudiesinmodernprotocols

Verfügbarkeit

‌

Online lesen