Specyfikacja sterowników cyfrowych zorientowana na niezawodność

[1]  Marian Adamski.  Logic synthesis of reconfigurable controllers , 2007, 2007 International Symposium on Industrial Embedded Systems.

[2]  Andrei Karatkevich,et al.  Dynamic analysis of Petri net-based discrete systems , 2007 .

[3]  Marian Adamski,et al.  Design of Embedded Control Systems , 2006 .

[4]  David Andreu,et al.  Petri Net Based Rapid Prototyping of Digital Complex System , 2008, 2008 IEEE Computer Society Annual Symposium on VLSI.

[5]  F. Basile,et al.  Modelling automation systems by UML and Petri Nets , 2008, 2008 9th International Workshop on Discrete Event Systems.

[6]  Jianwen Zhu,et al.  Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..

[7]  Lech Józwiak,et al.  Quality-driven system-on-a-chip design , 2000, Proceedings IEEE 2000 First International Symposium on Quality Electronic Design (Cat. No. PR00525).