A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems

Roopak Sinha*, Sandeep Patil, Luis Gomes, Valeriy Vyatkin

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: LehtiartikkeliReview ArticleScientificvertaisarvioitu

2 Sitaatiot (Scopus)

Sormenjälki Sukella tutkimusaiheisiin 'A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Engineering & Materials Science