Combining Aspect-Orientation and UPPAAL Timed Automata

Hakutulokset

• Päättynyt

  PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies

  Truscan, D., Ahmad, T., Iqbal, J., Porres Paltor, I. & Siavashi, F.

  01/01/12 → 31/12/15

  Projekti: Industry/Business Finland