Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Suche: Model checking software

Treffer 181 - 200 von 56.959

181

Model Checking of Multi Agent System Architectures Using BigMC
Eddine Dib Ahmed Taki ; Sahnoun Zaidi
Annals of Computer Science and Information Systems, 2015, vol. 5, P. 1717-1722.

Fachzeitschrift
Zu den Favoriten
182

Formal verification of bioinformatics software using model checking and theorem proving.
Hansika Weerasena ; Aruna Jayasena ; Christina Boucher 0001 ; et al.
Briefings Bioinform.. 26(4)

Fachzeitschrift
Zu den Favoriten
183

Dieses Ergebnis kann Gästen nicht angezeigt werden.

184

Dieses Ergebnis kann Gästen nicht angezeigt werden.

185

Machine Learning Model of Risk Analysis in Projects - Case Study
Adam Gumiński ; Mohamed Mohamed
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska : Współczesne zarządzanie = Contemporary management, 2025, vol. 18, P. 137-147.

Fachzeitschrift
Zu den Favoriten
186

Formal Modelling of Program Dependence Net for Software Model Checking.
Shuo Li ; Zhijun Ding ; Meiqin Pan
Comput. Informatics. 43(5):1161-1184

Fachzeitschrift
Zu den Favoriten
187

Dieses Ergebnis kann Gästen nicht angezeigt werden.

188

A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification.
Dirk Beyer 0001 ; Po-Chun Chien ; Marek Jankola ; et al.
Proc. ACM Softw. Eng.. 1(FSE):2028-2050

Fachzeitschrift
Zu den Favoriten
189

Dieses Ergebnis kann Gästen nicht angezeigt werden.

190

Dieses Ergebnis kann Gästen nicht angezeigt werden.

192

Dieses Ergebnis kann Gästen nicht angezeigt werden.

193

Automata-Based Software Model Checking of Hyperproperties.
Bernd Finkbeiner ; Hadar Frenkel ; Jana Hofmann ; et al.
NFM. :361-379

Konferenz
Zu den Favoriten
194

Dieses Ergebnis kann Gästen nicht angezeigt werden.

195

Dieses Ergebnis kann Gästen nicht angezeigt werden.

196

Dieses Ergebnis kann Gästen nicht angezeigt werden.

198

Dieses Ergebnis kann Gästen nicht angezeigt werden.

200

Dieses Ergebnis kann Gästen nicht angezeigt werden.

Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter