Polychronous controller synthesis from MARTE CCSL timing specifications

JOURNAL ARTICLE

Year: 2011 Pages: 21-30

DOI: 10.1109/memcod.2011.5970507

Abstract

International audience

Keywords:

Computer science Executable Programming language Unified Modeling Language Property (philosophy) Software

Cited By

3.83

FWCI (Field Weighted Citation Impact)

Refs

0.94

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Embedded Systems Design Techniques

Physical Sciences → Computer Science → Hardware and Architecture

Real-Time Systems Scheduling

Physical Sciences → Computer Science → Hardware and Architecture