External Links

Cite Key

Statistics

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

PDF

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.

Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

Abdeldjalil Boudjadar, Frits W. Vaandrager, Jean-Paul Bodeveix, Mamoun Filali. Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. In Farhad Arbab, Marjan Sirjani, editors, Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers. Volume 8161 of Lecture Notes in Computer Science, pages 111-132, Springer, 2013. [doi]

Authors

Abdeldjalil Boudjadar

This author has not been identified. Look up 'Abdeldjalil Boudjadar' in Google

Frits W. Vaandrager

This author has not been identified. It may be one of the following persons: Look up 'Frits W. Vaandrager' in Google

Jean-Paul Bodeveix

This author has not been identified. It may be one of the following persons: Look up 'Jean-Paul Bodeveix' in Google

Mamoun Filali

This author has not been identified. It may be one of the following persons: Look up 'Mamoun Filali' in Google
runs on