A formal approach to derivation of concurrent implementations in software product lines
| Autor: | Yovine, Sergio, Assayad, Ismail, Defaut, François-Xavier, Zanconi, Marcelo, Basu, Ananda |
|---|---|
| Přispěvatelé: | Yovine, Sergio, VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Grenoble (INPG)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF), MEDEA+ NEVA, Minalogic SCEPTRE, Crolles-II ANACONDA, STIC-AmSud TAPIOCA, IST SPEEDS, RNTL OpenEmbeDD |
| Jazyk: | angličtina |
| Rok vydání: | 2008 |
| Zdroj: | Process Algebra for Parallel and Distributed Processing: Algebraic Languages in Specification-Based Software Development Process Algebra for Parallel and Distributed Processing: Algebraic Languages in Specification-Based Software Development, CRC Press-Taylor and Francis Group, LLC, pp.11, 2008, Computational Science Series |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|