Embedded software : :: SCD d'Orléans

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	International conference on EMbedded SOFTware :Grenoble
Autres auteurs:	Sifakis, Joseph, 1946-...., informaticien (Directeur de la publication), Sangiovanni-Vincentelli, Alberto, 1947-...., mathématicien (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 2491
Sujets:	Systèmes embarqués (informatique) Génie logiciel Informatique Logiciels > Développement Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Embedded software, second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, proceedings, Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.), Berlin, Springer, 2002, 1 vol. (IX-421 p.), Lecture notes in computer science, 3-540-44307-X • Embedded Software, Texte imprimé, 9783662202098

Documents similaires

Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings

Embedded software : third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings

Software frameworks and embedded control systems
par: Pasetti, Alessandro

Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : proceedings

Software and compilers for embedded systems : 8th international workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004 : proceedings

Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands November 25 29, 1996

Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings

Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES '98, Montréal, Canada, June 9-12, 1998 : proceedings

Embedded processor design challenges : systems, architectures, modeling, and simulation - SAMOS
par: Deprettere, Ed F., 1944-

Software product lines : Second International Conference, SPLC 2, San Diego, CA, USA, August 19 22, 2002 : proceedings

Software process technology : second European workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 : proceedings

Software process technology : third European Workshop EWSPT'94, Villard de Lance, France, February 7-9 1994 : proceedings

Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 8-11, 1996 : proceedings

Cryptographic hardware and embedded systems : CHES 2004 : 6th international workshop, Cambridge, MA, USA, August 11-13, 2004 : proceedings

Software process technology : 7th European workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings

COTS-based software systems : First International Conference, ICCBSS 2002 Orlando, FL, USA, February 4 6, 2002 : proceedings

Software process technology : 6th European Workshop, EWSPT'98, Weybridge, UK, September 1998 : proceedings

Foundations of software science and computation structures : 5th international conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

Software process technology : 4th European workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings

Model checking software : 9th International SPIN Workshop Grenoble, France, April 11 13, 2002 : proceedings

Theoretical aspects of computer software : ; proceedings 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001

Software product lines : Third international conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004 : proceedings

Software reuse : methods, techniques, and tools : 7th international conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings
par: Gacek, Cristina, 1964-

Software product-family engineering : 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers
par: Van der Linden, Frank, 1954-

Software Quality : ECSQ 2002 : Quality Connection : 7th European Conference on Software Quality Helsinki, Finland, June 9 13, 2002 Proceedings

COTS-based software systems : second international conference, ICCBSS 2003, Ottawa, Canada, February 10-13, 2003 : proceedings

Software process improvement : 11th european conference, EuroSPI 2004, Trondheim, Norway, november 10-12, 2004 : proceedings

RTS 2002 embedded systems : [Actes des conférences, 26-27-28 mars 2002, Paris]
Publié: (2002)

Model checking software : 8th International SPIN Workshop Toronto, Canada, May 19 20, 2001 : proceedings

Software architecture : First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004 : proceedings
par: Oquendo, Flavio, 1958-...., auteur en informatique

Software engineering education : [5th] SEI Conference 1991, Pittsburgh, Pennsylvania, USA, October 7-8, 1991 : proceedings

Foundations of software science and computation structures : Third International Conference, FOSSACS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

Software configuration management : ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14 15, 2001 and Portland, OR, USA, May 9 10, 2003 : selected papers

Software configuration management : ICSE SCM-4 and SCM-5 workshops : selected papers

Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings

Fundamental approaches to software engineering : 5th international conference, FASE 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

Software process technology : 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 : proceedings

Foundations of software science and computation structures : Second International Conference, FOSSACS 99, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands,March 22 28, 1999 : proceedings

Studies of software design : ICSE '93 workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers

COTS-based software systems : Third international conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales