Back to Results
First PageMeta Content
Logic in computer science / Programming language semantics / Computer science / Object-oriented programming / Component-based software engineering / Denotational semantics / Petri net / Operational semantics / Theoretical computer science / Software engineering / Models of computation


This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 1 Source-to-Source Architectur
Add to Reading List

Document Date: 2012-12-31 04:25:30

Open Document

File Size: 545,05 KB

Share Result on Facebook

City

Amsterdam / OMPONENT / New York / /

Company

IOS Press / Real-Time Systems / CONCUR / Verimag Laboratory / /

Country

Netherlands / /

Currency

USD / /

/

Facility

Verimag Laboratory / /

IndustryTerm

equivalent systems / component-based software / process networks / monolithic software / reactive systems / model-checking tools / periodic reactive systems / heterogeneous systems / non trivial systems / computing / tasksfor reactive systems / network sorting algorithm / multimedia applications / successive applications / /

Person

Formal Methods / Mohamad Jaber / /

Position

guard / designer / General / controller / programmer / /

Product

BIP2BIP / El / /

ProgrammingLanguage

Java / C / C++ / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

MPEG / network sorting algorithm / Java / Digital Object Identifier / two-phase protocol / CAD / /

URL

http /

SocialTag