Publications

Automated Verification of the Freertos Scheduler in Hip/Sleek

AuthID
P-008-6DF

Author(s)

Ferreira, JF

He, G

Qin, S

Editor(s)

Margaria,T;Qiu,Z;Yang,H

Document Type

Proceedings Paper

Year published

2012

Published

in Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China in TASE

Pages: 51-58

Conference

Ieee 6Th International Symposium on Theoretical Aspects of Software Engineering, Tase 2012, Date: 4 July 2012 through 6 July 2012, Location: Beijing, Sponsors: IFIP;Beijing University of Technology

Indexing

Scopus^®

Dblp^®/en/publications/view/268719

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/TASE.2012.45

DBLP: conf/tase/FerreiraHQ12

SCOPUS: 2-s2.0-84866904005

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Automated Verification of the Freertos Scheduler in Hip/Sleek

Useful Links

Get Help

Federated Authentication (Click on the image)

Automated Verification of the Freertos Scheduler in Hip/Sleek

Useful Links

Get Help