Formal Verification of Control System Software
Pierre-Loic Garoche
Out of stock
Format: Book (Hardback)
Formal Verification of Control System Software
Pierre-Loic Garoche
Download - Immediately Available
Format: eBook (PDF)
Static Analysis of Actors by Abstract Interpretation
Pierre-Loic Garoche
Out of stock
Format: Book (Paperback / softback)