Události

8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

Limassol 5.-9.11.2018

Vybrané publikace

2018STRNADEL Josef. Statistical Model Checking of Processor Systems in Various Interrupt Scenarios. In: Proceedings of 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Cham: Springer International Publishing, 2018, s. 414-429. ISSN 0302-9743.

Vaše IPv4 adresa: 54.145.38.157
Přepnout na https