- Tytuł:
- Towards the Safety Verification of Real-Time Systems with the Coq Proof Assistant
- Autorzy:
- Tveretina, O.
- Data publikacji:
- 2009
- Wydawca:
- Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
- Tematy:
-
formal methods
real-time
theorem proving - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł