Publicações

Quantitative Timed Simulation Functions and Refinement Metrics for Real-Time Systems

AuthID
P-008-AK3

Author(s)

Chatterjee, K

Prabhu, VS

Tipo de Documento

Proceedings Paper

Year published

2012

Publicado

in HSCC 2013 - Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Part of CPSWeek 2013

Volume: 1, Páginas: 273-282

Conference

16Th International Conference on Hybrid Systems: Computation and Control, Hscc 2013 - Part of Cpsweek 2013, Date: 8 April 2013 through 11 April 2013, Location: Philadelphia, PA

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1145/2461328.2461370

SCOPUS: 2-s2.0-84876757289

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

Quantitative Timed Simulation Functions and Refinement Metrics for Real-Time Systems

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Quantitative Timed Simulation Functions and Refinement Metrics for Real-Time Systems

Links Úteis

Ajuda