Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (scientific article; zbMATH DE number 2195844)

From MaRDI portal

(Redirected from Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (scientific article; zbMATH DE number 2195844))
Redirect page
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (scientific article; zbMATH DE number 2195844)

Jump to:navigation, search

Redirect to:

On two-sided approximate model-checking: Problem formulation and solution via finite topologies

This page is empty. This page is not linked to a Wikibase item.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Formal_Techniques,_Modelling_and_Analysis_of_Timed_and_Fault-Tolerant_Systems_(scientific_article;_zbMATH_DE_number_2195844)&oldid=109586855"