Mechanical Verification of Parameterized Real-Time Systems

81.74 EUR 9% Off 89.99 EUR

Marke: Sudwestdeutscher Verlag Fur Hochschulschriften AG

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-9%

Gesponsert Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler

81.74 EUR 89.99 EUR

02-11-2026 07:10:32

Access to the deal

-0%

89.90 EUR 89.99 EUR

29-10-2026 13:19:15

Access to the deal

89.99 EUR 89.99 EUR

04-11-2026 05:40:52

Access to the deal