Forschungsportal Sachsen-Anhalt
« Publikationen
Publikation

Analiz rasširennych NCES-setej na osnove metoda model checking

Dubinin, V. N. ; Hanisch, Hans-Michael ; Vjatkin, V. V. ; Šestakov, S. K.
Novye informacionnye technologii i sistemy ; 2. - Penza, S. 20-48, 2010
Bibliographie: Konferenz/Aufsatz
Weitere Publikationen der Autoren