Цитата:
Сообщение от donantonio
PS: Про теорию автоматов немного представляю. Тот же model checking, например. Но меня больше интересует то, как самому научиться строить грамотные модели.
|
В
http://ru.arxiv.org/ посмотрите работы следующего автора:
Bob Diertens
и вот этого: David Griffioen
Кроме того, обзор, который оказался полезным мне, присоединил (архив на самом деле rar, я zip не использую, а форум иначе не позволяет).