%PDF-1.5
%
1 0 obj
<>stream
Adobe PDF Schema
pdf
http://ns.adobe.com/pdf/1.3/
Trapped
Text
internal
Indication if the document has been modified to include trapping information
XMP Media Management Schema
xmpMM
http://ns.adobe.com/xap/1.0/mm/
DocumentID
URI
internal
UUID based identifier for all versions and renditions of a document
InstanceID
URI
internal
UUID based identifier for specific incarnation of a document
VersionID
Text
internal
Document version identifier
RenditionClass
RenditionClass
internal
The manner in which a document is rendered
IPTC Core Schema
Iptc4xmpCore
http://iptc.org/std/Iptc4xmpCore/1.0/xmlns/
CreatorContactInfo
ContactInfo
external
Document creator's contact information
ContactInfo
http://iptc.org/std/Iptc4xmpCore/1.0/xmlns/
Iptc4xmpCore
Basic set of information to get in contact with a person
CiAdrCity
Text
Contact information city
CiAdrCtry
Text
Contact information country
CiAdrExtadr
Text
Contact information address
CiAdrPcode
Text
Contact information local postal code
CiAdrRegion
Text
Contact information regional information such as state or province
CiEmailWork
Text
Contact information email address(es)
CiTelWork
Text
Contact information telephone number(s)
CiUrlWork
Text
Contact information Web URL(s)
PRISM Basic Metadata
prism
http://prismstandard.org/namespaces/basic/3.0/
complianceProfile
Text
internal
PRISM specification compliance profile to which this document adheres
publicationName
Text
external
Publication name
aggregationType
Text
external
Publication type
bookEdition
Text
external
Edition of the book in which the document was published
volume
Text
external
Publication volume number
number
Text
external
Publication issue number within a volume
pageRange
Text
external
Page range for the document within the print version of its publication
issn
Text
external
ISSN for the printed publication in which the document was published
eIssn
Text
external
ISSN for the electronic publication in which the document was published
isbn
Text
external
ISBN for the publication in which the document was published
doi
Text
external
Digital Object Identifier for the document
url
URL
external
URL at which the document can be found
byteCount
Integer
internal
Approximate file size in octets
pageCount
Integer
internal
Number of pages in the print version of the document
subtitle
Text
external
Document's subtitle
pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) kpathsea version 6.3.4; ConfPub - splashws22ftscsmain-p16-p rev-7b9cccf0d2-61678 p80; modified using iText 4.2.0 by 1T3XT
Functional Block Diagrams, Event Trees, Safety Analysis, Theorem Proving, HOL4, Nuclear Power Plant.
1.5
application/pdf
Formal Probabilistic Risk Assessment of a Nuclear Power Plant
- Computing methodologies -> Modeling and simulation.Model development and analysis.Model verification and validation.- General and reference -> Cross-computing tools and techniques.Reliability.- Mathematics of computing -> Mathematical analysis.Numerical analysis.
Association for Computing Machinery
2022-11-22T01:05:59Z
Text
Mohamed Abdelghany
Sofiène Tahar
Functional Block Diagrams
Event Trees
Safety Analysis
Theorem Proving
HOL4
Nuclear Power Plant.
output.tex
en
info:doi/10.1145/3563822.3568018
2022-11-22T01:05:59Z
2022-12-06T19:40:28-08:00
2022-12-06T19:40:28-08:00
LaTeX with acmart 2022/08/27 v1.87 Typesetting articles for the Association for Computing Machinery and hyperref 2022-06-13 v7.00r Hypertext links for LaTeX
uuid:75fd7a3e-f20a-4333-9b18-88d1dcef2b62
uuid:8dcea395-9541-43e4-a759-000a88dc4620
1
default
m_eldes@ece.concordia.ca
three
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS '22), December 07, 2022, Auckland, New Zealand
book
1
1
978-1-4503-9907-4
10.1145/3563822.3568018
8
8
endstream
endobj
15 0 obj
<>>>/BBox[0 0 612 792]/Length 66>>stream
x3PHW0Pp2@BLL
,
,
B
l#sc=#HBfl\k ?
endstream
endobj
5 0 obj
<>stream
x+ |
endstream
endobj
7 0 obj
<>stream
xS**T0T0 Bi yA$
endstream
endobj
6 0 obj
<>stream
x\s8r_