Результаты исследований

1. Testing Equivalences of Time Petri Nets

   Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

2. Causality-Based Testing in Time Petri Nets

   Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

3. From event-oriented models to transition systems

   Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Просмотреть все (5) »