Электронная библиотека (репозиторий) Томского государственного университета
статьи в журналах | Simao, Adenilso da Silva

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   A practical approach for testing timed deterministic finite state machines with single clock
Authors: El-Fakih, Khaled | Yevtushenko, Nina V. | Simao, Adenilso da Silva
Source: Science of Computer Programming. 2014. Vol. 80, Part B. P. 343-355
Type: статьи в журналах
Date: 2014
Add   On reducing test length for FSMs with extra states
Authors: Simao, Adenilso da Silva | Petrenko, Alexandre F. | Yevtushenko, Nina V.
Source: Software Testing Verification and Reliability. 2012. Vol. 22, № 6. P. 435-454
Type: статьи в журналах
Date: 2012
  • «
  • ←
  • 1
  • →
  • »
^