External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification

Manuel I. Capel, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza. A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification. In José Cristóbal Riquelme Santos, Pere Botella, editors, XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), Octubre 3-6, 2006, Sitges, Barcelona, Spain. pages 283-292, 2006.

Authors

Manuel I. Capel

This author has not been identified. Look up 'Manuel I. Capel' in Google

Luis E. Mendoza Morales

This author has not been identified. Look up 'Luis E. Mendoza Morales' in Google

Kawtar Benghazi Akhlaki

This author has not been identified. Look up 'Kawtar Benghazi Akhlaki' in Google

Juan Antonio Holgado Terriza

This author has not been identified. Look up 'Juan Antonio Holgado Terriza' in Google
runs on