Gerlits, Y.(2012). Model-Based Testing of Safety Critical Real-Time Control Logic Software. Electronic Proceedings in Theoretical Computer Science, 80, 130-144. doi:10.4204/eptcs.80.10
Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.