Inscriere cercetatori

Premii Ad Astra

premii Ad Astra

Asociația Ad Astra a anunțat câștigătorii Premiilor Ad Astra 2022: http://premii.ad-astra.ro/. Proiectul și-a propus identificarea și popularizarea modelelor de succes, a rezultatelor excepționale ale cercetătorilor români din țară și din afara ei.

Asociatia Ad Astra a cercetatorilor romani lanseaza BAZA DE DATE A CERCETATORILOR ROMANI DIN DIASPORA. Scopul acestei baze de date este aceea de a stimula colaborarea dintre cercetatorii romani de peste hotare dar si cu cercetatorii din Romania. Cercetatorii care doresc sa fie nominalizati in aceasta baza de date sunt rugati sa trimita un email la cristian.presura@gmail.com

W-method for Hierarchical and Communicating finite state machines

Domenii publicaţii > Ştiinţe informatice + Tipuri publicaţii > Articol în volumul unei conferinţe

Autori: Florentin Eugen Ipate, Logica Bãnicã

Editorial: 5th IEEE International Conference on Industrial Informatics, Viena, Austria, 2007.

Rezumat:

The W-method is one of the most general and widely used methods for generating tests from a finite state machine (FSM). The paper shows how the W-method can be used to generate test sequences from a hierarchical FSM
and also from a system of communicating FSMs in which
the communication is one-directional.

Cuvinte cheie: masina cu stare finita, testare de conformitate, metoda W // finite state machine,conformance testing,W-method