RiTHM

swMATH16439MaRDI QIDQ28309FDOQ28309

Author name not available (Why is that?)

Cited In (4)

• Translating Xd-C programs to MSVL programs
• Runtime verification with minimal intrusion through parallelism
• Formal analysis and offline monitoring of electronic exams
• A compiler for MSVL and its applications

This page was built for software: RiTHM