MFDTE/PNtool - a tool for the rigorous design, analysis and development of concurrent and time-critical systems

Bibliographic Details
Main Authors:	Hudák, Štefan, 1939- (Author), Zajcev, Dmitrij A., 1964- (Author), Korečko, Štefan, 1978- (Author), Šimoňák, Slavomír, 1974- (Author)
Format:	Article
Language:	Slovak English
Subjects:	časovo-kritické systémy Petriho siete

Similar Items