Publicações

Automated Verification of the Freertos Scheduler in Hip/Sleek

AuthID
P-008-6DF

Author(s)

Ferreira, JF

He, G

Qin, S

Editor(es)

Margaria,T;Qiu,Z;Yang,H

Tipo de Documento

Proceedings Paper

Year published

2012

Publicado

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

Páginas: 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, Patrocinadores: IFIP;Beijing University of Technology

Indexing

Scopus^®

Dblp^®/pt/publications/view/268719

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1109/TASE.2012.45

DBLP: conf/tase/FerreiraHQ12

SCOPUS: 2-s2.0-84866904005

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

Automated Verification of the Freertos Scheduler in Hip/Sleek

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Automated Verification of the Freertos Scheduler in Hip/Sleek

Links Úteis

Ajuda