共 20 条
- [1] [Anonymous], 2010, 60812010675 STN IEC
- [2] [Anonymous], 2005, 60300314010690 STN E
- [3] [Anonymous], 2005, 6030032010690 STN EN
- [4] Ericson C., 1999, P 17 INT SYST SAF C
- [5] Efficient Model Checking and FMEA Analysis with Deterministic Scheduling of Transition-Labeled Finite-State Machines [J]. PROCEEDINGS OF THE 2012 THIRD WORLD CONGRESS ON SOFTWARE ENGINEERING (WCSE 2012), 2012, : 65 - 72
- [6] Gerasimov Y, 2009, CROAT J FOR ENG, V30, P159
- [7] Jürgens H, 2001, VDI BERICHT, V1636, P59
- [8] Kova J., 2011, ACTA FACULTATIS TECH, VVolume 16, P55
- [9] Kovac J., 2013, Journal of Forest Science (Prague), V59, P169, DOI 10.17221/6/2013-JFS
- [10] Kovaova K., 2010, PROBLEMY IN YNIERII, P139