|
|
|
|
DATOS DE LA TESIS |
|
|
Titulo |
Especificación de sistemas concurrentes usando conceptos de teoría económica: Sintaxis, semántica, aplicaciones y extensiones del lenguaje formal PAMR |
|
Doctorando |
Ismael Rodríguez |
|
Director(es) |
Manuel Núñez |
|
Universidad |
Universidad Complutense de Madrid |
|
Año de lectura |
2004 |
|
Doctorado europeo (si/no) |
No |
|
|
|
|
a) Revistas |
|
|
AUTORES |
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
|
Nº DE AUTORES |
4 |
|
TÍTULO |
A Formal Framework for e-barter based on Microeconomic Theory and Process Algebras |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
2346 |
|
PÁGINAS |
DESDE 217 |
|
HASTA 228 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2002 |
|
ISSN |
ISSN 0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Theory and Methods |
|
ÍNDICE DE IMPACTO: 0.402 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 56 |
|
Nº DE REVISTAS EN EL ÁREA: 71 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
AUTORES |
Manuel Núñez, Ismael Rodríguez |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
Encoding PAMR into (timed) EFSMs |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
2529 |
|
PÁGINAS |
DESDE 1 |
|
HASTA 16 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2002 |
|
ISSN |
ISSN 0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Theory and Methods |
|
ÍNDICE DE IMPACTO: 0.402 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 56 |
|
Nº DE REVISTAS EN EL ÁREA: 71 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
AUTORES |
Manuel Núñez, Ismael Rodríguez |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
Towards Testing Stochastic Timed Systems |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
2767 |
|
PÁGINAS |
DESDE 335 |
|
HASTA 350 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2003 |
|
ISSN |
ISSN 0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Theory and Methods |
|
ÍNDICE DE IMPACTO: 0.402 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 56 |
|
Nº DE REVISTAS EN EL ÁREA: 71 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
AUTORES |
Natalia López, Manuel Núñez, Ismael Rodríguez |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Testing of Symbolic-Probabilistic Systems |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
3395 |
|
PÁGINAS |
DESDE 33 |
|
HASTA 48 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2004 |
|
ISSN |
ISSN 0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Theory and Methods |
|
ÍNDICE DE IMPACTO: 0.402 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 56 |
|
Nº DE REVISTAS EN EL ÁREA: 71 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
AUTORES |
Ismael Rodríguez, Manuel Núñez, Fernando Rubio |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Specification of Autonomous Agents in E-commerce Systems |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
3236 |
|
PÁGINAS |
DESDE 30 |
|
HASTA 44 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2004 |
|
ISSN |
ISSN 0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Theory and Methods |
|
ÍNDICE DE IMPACTO: 0.402 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 56 |
|
Nº DE REVISTAS EN EL ÁREA: 71 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
AUTORES |
Natalia López, Manuel Núñez, Ismael Rodríguez |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Formal Specification of Symbolic-Probabilistic Systems |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
3236 |
|
PÁGINAS |
DESDE 114 |
|
HASTA 127 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2004 |
|
ISSN |
ISSN 0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Theory and Methods |
|
ÍNDICE DE IMPACTO: 0.402 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 56 |
|
Nº DE REVISTAS EN EL ÁREA: 71 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
AUTORES |
Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Testing of Autonomous Agents Described as Utility State Machines |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
3236 |
|
PÁGINAS |
DESDE 322 |
|
HASTA 335 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2004 |
|
ISSN |
ISSN 0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Theory and Methods |
|
ÍNDICE DE IMPACTO: 0.402 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 56 |
|
Nº DE REVISTAS EN EL ÁREA: 71 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
AUTORES |
Ismael Rodríguez, Manuel Núñez, Fernando Rubio |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
A formal framework for analyzing reusability complexity in component-based systems |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
INFORMATION AND SOFTWARE TECHNOLOGY |
|
VOLUMEN |
46(12) |
|
PÁGINAS |
DESDE 791 |
|
HASTA 804 |
|
EDITORIAL |
Elsevier Science |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2004 |
|
ISSN |
0950-5849 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Software Engineering |
|
ÍNDICE DE IMPACTO: 0.726 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 44 |
|
Nº DE REVISTAS EN EL ÁREA: 82 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
AUTORES |
Manuel Núñez, Ismael Rodríguez |
|
Nº DE AUTORES |
2 |
|
TÍTULO |
Conformance Testing Relations for Timed Systems |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
3997 |
|
PÁGINAS |
DESDE 103 |
|
HASTA 117 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2005 |
|
ISSN |
ISSN 0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Theory and Methods |
|
ÍNDICE DE IMPACTO: 0.402 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 56 |
|
Nº DE REVISTAS EN EL ÁREA: 71 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
AUTORES |
Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Formal specification of multi-agent e-barter systems |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Science of Computer Programming |
|
VOLUMEN |
57(2) |
|
PÁGINAS |
DESDE 187 |
|
HASTA 216 |
|
EDITORIAL |
Elsevier Science |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2005 |
|
ISSN |
0167-6423 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Software Engineering |
|
ÍNDICE DE IMPACTO: 0.769 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 42 |
|
Nº DE REVISTAS EN EL ÁREA: 82 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
AUTORES |
Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Specification and testing of autonomous agents in e-commerce systems |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Software Testing, Verification & Reliability |
|
VOLUMEN |
15(4) |
|
PÁGINAS |
DESDE 211 |
|
HASTA 233 |
|
EDITORIAL |
John Wiley & sons LTD |
|
PAÍS DE PUBLICACIÓN |
Gran Bretaña |
|
AÑO DE PUBLICACIÓN |
2005 |
|
ISSN |
0960-0833 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Software Engineering |
|
ÍNDICE DE IMPACTO: 1.100 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 29 |
|
Nº DE REVISTAS EN EL ÁREA: 82 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
AUTORES |
Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Customized Testing for Probabilistic Systems |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Lecture Notes in Computer Science |
|
VOLUMEN |
3964 |
|
PÁGINAS |
DESDE 87 |
|
HASTA 102 |
|
EDITORIAL |
Springer |
|
PAÍS DE PUBLICACIÓN |
Alemania |
|
AÑO DE PUBLICACIÓN |
2006 |
|
ISSN |
ISSN 0302-9743 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Theory and Methods |
|
ÍNDICE DE IMPACTO: 0.402 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 56 |
|
Nº DE REVISTAS EN EL ÁREA: 71 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
AUTORES |
Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez |
|
Nº DE AUTORES |
4 |
|
TÍTULO |
From Theoretical e-barter Models to an Implementation Based on Web Services |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Electronic Notes in Theoretical Computer Science |
|
VOLUMEN |
159 |
|
PÁGINAS |
DESDE |
|
HASTA |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2006 |
|
ISSN |
ISSN 1571-0661 |
|
INDICIOS DE CALIDAD |
AREA de JCR: |
|
ÍNDICE DE IMPACTO: |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: |
|
Nº DE REVISTAS EN EL ÁREA: |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
AUTORES |
Natalia López, Ismael Rodríguez, Fernando Rubio |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Defining and testing metaadaptable agents |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C |
|
VOLUMEN |
36(2) |
|
PÁGINAS |
DESDE 182 |
|
HASTA 195 |
|
EDITORIAL |
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC |
|
PAÍS DE PUBLICACIÓN |
Estados Unidos |
|
AÑO DE PUBLICACIÓN |
2006 |
|
ISSN |
1094-6977 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Cybernetics |
|
ÍNDICE DE IMPACTO: 0.885 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 9 |
|
Nº DE REVISTAS EN EL ÁREA: 18 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
AUTORES |
Natalia López, Manuel Núñez, Ismael Rodríguez |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Specification, testing and implementation relations for symbolic-probabilistic systems |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Theoretical Computer Science |
|
VOLUMEN |
353(1-3) |
|
PÁGINAS |
DESDE 228 |
|
HASTA 248 |
|
EDITORIAL |
Elsevier Science |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2006 |
|
ISSN |
0304-3975 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Theory & Methods |
|
ÍNDICE DE IMPACTO: 0.843 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 37 |
|
Nº DE REVISTAS EN EL ÁREA: 75 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
AUTORES |
Ismael Rodríguez, Mercedes G. Merayo and Manuel Núñez |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
HOTL: Hypotheses and Observations Testing Logic |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Journal of Logic and Algebraic Programming |
|
VOLUMEN |
74 |
|
PÁGINAS |
DESDE 57 |
|
HASTA 93 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISSN |
1567-8326 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Theory and Methods |
|
ÍNDICE DE IMPACTO: 0.980 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 30 |
|
Nº DE REVISTAS EN EL ÁREA: 75 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
AUTORES |
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Formal testing from timed finite state machines |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
Computer Networks |
|
VOLUMEN |
52 (2) |
|
PÁGINAS |
DESDE 432 |
|
HASTA 460 |
|
EDITORIAL |
Elsevier |
|
PAÍS DE PUBLICACIÓN |
Holanda |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISSN |
1389-1286 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Information Systems |
|
ÍNDICE DE IMPACTO: 0.631 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 60 |
|
Nº DE REVISTAS EN EL ÁREA: 87 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
AUTORES |
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
|
Nº DE AUTORES |
3 |
|
TÍTULO |
Extending EFSMs to specify and test timed systems with action durations and timeouts |
|
CLAVE (Artículo, Artículo de revisión, editor) |
Artículo |
|
NOMBRE DE LA REVISTA |
IEEE Transactions on Computers |
|
VOLUMEN |
En prensa (http://doi.ieeecomputersociety.org/10.1109/TC.2008.15) |
|
PÁGINAS |
DESDE |
|
HASTA |
|
EDITORIAL |
IEEE |
|
PAÍS DE PUBLICACIÓN |
Estados Unidos |
|
AÑO DE PUBLICACIÓN |
2008 |
|
ISSN |
0018-9340 |
|
INDICIOS DE CALIDAD |
AREA de JCR: Computer Science, Hardware and Architecture |
|
ÍNDICE DE IMPACTO: 1.426 |
|
POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 10 |
|
Nº DE REVISTAS EN EL ÁREA: 44 |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
b) Libros |
|
|
|
|
|
AUTORES |
|
|
Nº DE AUTORES |
|
|
TÍTULO |
|
|
CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) |
|
|
VOLUMEN |
|
|
COLECCIÓN |
|
|
PÁGINAS |
DESDE |
|
HASTA |
|
EDITORIAL |
|
|
PAÍS DE PUBLICACIÓN |
|
|
AÑO DE PUBLICACIÓN |
|
|
ISBN |
|
|
INDICIOS DE CALIDAD |
Nº DE CITAS(si se sabe, excl. autocitas): |
|
RESEÑAS EN REVISTAS CIENTÍFICAS: |
|
TRADUCCIONES A OTRAS LENGUAS: |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
c) Ponencias |
|
|
|
|
|
AUTORES |
Manuel Núñez, Ismael Rodríguez |
|
TÍTULO |
PAMR: A Process Algebra for the Management of Resources in Concurrent Systems |
|
ENTIDAD ORGANIZADORA |
International Federation for Information Processing (IFIP) |
|
CONGRESO: |
21st IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE 2001 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia |
|
ISSN/ISBN |
ISBN 0-7923-7470-3 |
|
VOLUMEN |
|
|
PÁGINAS |
DESDE |
|
HASTA |
|
LUGAR DE CELEBRACIÓN |
Corea del Sur |
|
FECHA DE CELEBRACIÓN |
2001 |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: CORE (COmputing Research and Education) |
|
Categoría del congreso (si existe; p.ej. A, A+): A |
|
Posición del congreso en el ranking (si existe): |
|
Nº de congresos en el ranking (si existe): |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): Premio IFIP al mejor artículo de la conferencia |
|
|
|
|
|
|
|
AUTORES |
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
|
TÍTULO |
A Multi-Agent System for e-barter including Transaction and Shipping Costs |
|
ENTIDAD ORGANIZADORA |
ACM |
|
CONGRESO: |
18th ACM Symposium on Applied Computing, SAC 2003 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia |
|
ISSN/ISBN |
ISBN 1-58113-624-2 |
|
VOLUMEN |
|
|
PÁGINAS |
DESDE 587 |
|
HASTA 594 |
|
LUGAR DE CELEBRACIÓN |
Estados Unidos |
|
FECHA DE CELEBRACIÓN |
2003 |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: CORE |
|
Categoría del congreso (si existe; p.ej. A, A+): B |
|
Posición del congreso en el ranking (si existe): |
|
Nº de congresos en el ranking (si existe): |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
|
|
|
|
|
|
|
AUTORES |
Manuel Núñez, Ismael Rodríguez |
|
TÍTULO |
Specification-based testing of real-time embedded systems |
|
ENTIDAD ORGANIZADORA |
International Federation for Information Processing (IFIP) |
|
CONGRESO: |
IFIP TC10: International Embedded Systems Symposium 2005 |
|
TIPO DE PARTICIPACIÓN (Ponencia (paper), ponencia invitada (inv spaker), poster, otro) |
Ponencia |
|
ISSN/ISBN |
ISBN 0-387-27557-6 |
|
VOLUMEN |
|
|
PÁGINAS |
DESDE 115 |
|
HASTA 124 |
|
LUGAR DE CELEBRACIÓN |
Brasil |
|
FECHA DE CELEBRACIÓN |
2005 |
|
INDICIOS DE CALIDAD |
Nombre del ranking donde se incluye el congreso: CORE |
|
Categoría del congreso (si existe; p.ej. A, A+): B |
|
Posición del congreso en el ranking (si existe): |
|
Nº de congresos en el ranking (si existe): |
|
Nº DE CITAS (si se sabe, excl. autocitas): |
|
OTROS INDICIOS (si se sabe): |
