Vol. 5 No. 2 (2024): ISCSITR - INTERNATIONAL JOURNAL OF SCIENTIFIC RESEARCH IN INFORMATION TECHNOLOGY (ISCSITR - IJSRIT)

Volume-5, Issue-2,July-December(2024)

Published:

Articles

Formal Verification of Safety-Critical Control Flow in Distributed Embedded Systems Using Model Checking and Symbolic Executions

Chloe Thompson (Author)

1-6
- PDF