{"version":"1.0","type":"rich","provider_name":"EbookNetworking","provider_url":"https://www.ebooknetworking.net","title":"Model Based Testing for Real-Time Systems: Conformance Testing of Real-Time Systems Modeled with Partially Observable and Non-Deterministic Timed Automata","author_name":"Moez Krichen","thumbnail_url":"https://www.ebooknetworking.net/books/384/335/big3843359164.jpg","thumbnail_width":330,"thumbnail_height":500,"html":"<a href=\"https://www.ebooknetworking.net/books_detail-3843359164.html\">Model Based Testing for Real-Time Systems: Conformance Testing of Real-Time Systems Modeled with Partially Observable and Non-Deterministic Timed Automata</a>","width":400,"height":300}