![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 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](https://www.pdfsearch.io/img/9a0df9735d4f9a3abaa3b7b7c8c1be17.jpg)
| Document Date: 2012-12-31 04:25:30 Open Document File Size: 545,05 KBShare 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 |