Электронная библиотека (репозиторий) Томского государственного университета

On separating UML specified non-deterministic finite state machines with time-outs

Image Thumbnail Open in Browser | View Pdf in Internal Viewer | Download 252 KB
^