TMPA-2013 Chupilko: Verification of Correct Behaviour of HDL Models
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces Mikhail Chupilko, Alexander Kamkin.
В.П. Иванников, А.С. Камкин М.М. Чупилко
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces