Formal Methods for Modelling and Analysis of Single-Event Upsets

Rene Rydhof Hansen; Kim Guldstrand Larsen; Mads Chr. Olesen; Erik Ramsgaard Wognsen

doi:10.1109/IRI.2015.54

Formal Methods for Modelling and Analysis of Single-Event Upsets

Rene Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

3 Citations (Scopus)

Original language	English
Title of host publication	IEEE International Conference on Information Reuse and Integration (IRI 2015)
Publisher	IEEE
Publication date	2015
Pages	287-294
ISBN (Print)	978-1-4673-6656-4
DOIs	https://doi.org/10.1109/IRI.2015.54
Publication status	Published - 2015
Event	IEEE International Conference on Information Reuse and Integration (IRI 2015) - California, United States Duration: 13 Aug 2015 → 15 Aug 2015 http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7299513

Conference

Conference	IEEE International Conference on Information Reuse and Integration (IRI 2015)
Country/Territory	United States
City	California
Period	13/08/2015 → 15/08/2015
Internet address	http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7299513

Access to Document

10.1109/IRI.2015.54

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{9d32978193eb4a828d123e5f97b52aef,

title = "Formal Methods for Modelling and Analysis of Single-Event Upsets",

author = "Hansen, {Rene Rydhof} and Larsen, {Kim Guldstrand} and Olesen, {Mads Chr.} and Wognsen, {Erik Ramsgaard}",

year = "2015",

doi = "10.1109/IRI.2015.54",

language = "English",

isbn = "978-1-4673-6656-4",

pages = "287--294",

booktitle = "IEEE International Conference on Information Reuse and Integration (IRI 2015)",

publisher = "IEEE",

address = "United States",

note = "IEEE International Conference on Information Reuse and Integration (IRI 2015), IRI 2015 ; Conference date: 13-08-2015 Through 15-08-2015",

url = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7299513",

}

Hansen, RR , Larsen, KG, Olesen, MC & Wognsen, ER 2015, Formal Methods for Modelling and Analysis of Single-Event Upsets. in IEEE International Conference on Information Reuse and Integration (IRI 2015). IEEE, pp. 287-294, IEEE International Conference on Information Reuse and Integration (IRI 2015), California, United States, 13/08/2015. https://doi.org/10.1109/IRI.2015.54

Formal Methods for Modelling and Analysis of Single-Event Upsets. / Hansen, Rene Rydhof ; Larsen, Kim Guldstrand; Olesen, Mads Chr. et al.
IEEE International Conference on Information Reuse and Integration (IRI 2015). IEEE, 2015. p. 287-294.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Formal Methods for Modelling and Analysis of Single-Event Upsets

AU - Hansen, Rene Rydhof

AU - Larsen, Kim Guldstrand

AU - Olesen, Mads Chr.

AU - Wognsen, Erik Ramsgaard

PY - 2015

Y1 - 2015

UR - http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7299513

U2 - 10.1109/IRI.2015.54

DO - 10.1109/IRI.2015.54

M3 - Article in proceeding

SN - 978-1-4673-6656-4

SP - 287

EP - 294

BT - IEEE International Conference on Information Reuse and Integration (IRI 2015)

PB - IEEE

T2 - IEEE International Conference on Information Reuse and Integration (IRI 2015)

Y2 - 13 August 2015 through 15 August 2015

ER -

Formal Methods for Modelling and Analysis of Single-Event Upsets

Conference

Access to Document

AUB Link

Other files and links

SENSATION: Self Energy-Supporting Autonomous Computation

Cite this

Formal Methods for Modelling and Analysis of Single-Event Upsets

Conference

Access to Document

AUB Link

Other files and links

Projects

SENSATION: Self Energy-Supporting Autonomous Computation

Cite this