On-line Model Checking as Operating System Service
Publication Type
Conference Paper
Authors
    An-Najah National University - Computer Center - 2024 © All Rights Reserved