![Computing / Science / Object-oriented programming / Component-based software engineering / Modeling language / Binding immunoglobulin protein / Model checking / Actor model / Software design / Scientific modeling / Software engineering / Systems science Computing / Science / Object-oriented programming / Component-based software engineering / Modeling language / Binding immunoglobulin protein / Model checking / Actor model / Software design / Scientific modeling / Software engineering / Systems science](https://www.pdfsearch.io/img/6487cd1e87d8e8513c88c934d6c58799.jpg)
| Document Date: 2012-12-31 04:25:30 Open Document File Size: 2,42 MBShare Result on Facebook
Company Component-Based Systems / Verimag Laboratory / ACM Press / Embedded Software / CONCUR / Engineering Performance Critical Systems / IBM Press / IEEE Press / Application / IOS Press / Object Management Group / Translating Application Software / Real-Time Systems / CNRS / / Currency USD / / / Facility University of Grenoble / University Joseph Fourier / University of Joseph Fourier / Verimag Laboratory / / IndustryTerm given application software / software engineering / object-oriented software / application software components / confl ict resolution protocol / heterogeneous systems / verification tools / application software model / adaptive applications / computational tools / monolithic verification tools / system software / real-life systems / energy / pure software / mixed software-hardware systems / software model / application software / architectural solutions / efficient algorithms / verification tool / / Organization Addison / Institut National Polytechnique de Grenoble / University of Grenoble / Centre for Advanced Studies / University of Joseph Fourier / / Person Addison-Wesley Longman / Ed Clarke / THANH HUNG NGUYEN / SADDEK BENSALEM / Marius Bozga / JOSEPH SIFAKIS / Joseph Sifakis Vol / Thanh-Hung Nguyen / Jacques Combaz / Mohamad Jaber / Allen Emerson / / / Position execution controller / BIP model for the application software / guard / CNRS researcher and founder / postdoctoral researcher / Service-Controller / author / exec finish getStatus check_req no_req reject request get_report Service controller / associated guard / professor / correctby-construction software controller / Service Controller / low-level robot wheel controller / research engineer / Execution-Controller / Dala robot controller / / ProgrammingLanguage R / C / D / J / Simulink / C++ / / Technology efficient algorithms / same processor / TCP/IP / pdf / laser / confl ict resolution protocol / http / simulation / / URL www.computer.org/cise / www.computer.org/software / http /
SocialTag |