• Suche: Principles of model checking

Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 20 von 6.202

1

Principles of Model Checking
Christel Baier ; Joost-Pieter Katoen ; Christel Baier ; et al.

Computer software--Verif... Computer systems--Verifi... Computer systems--Verifi...
E-Book
Zur Merkliste hinzufügen
3

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames
Hausmann, Daniel ; Humml, Merlin ; Prucker, Simon ; et al.

Computer Science - Logic...
Report
Zur Merkliste hinzufügen
4

A Hybrid Deep Learning and Model-Checking Framework for Accurate Brain Tumor Detection and Validation
Elfatimi, Elhoucine ; Fatimi, Lahcen El ; Bouchaneb, Hanifa

Computer Science - Compu... Computer Science - Artif... I.2.6 I.4.6
Report
Zur Merkliste hinzufügen
5

Model Checking Access Control Policies: A Case Study using Google Cloud IAM
Gouglidis, Antonios ; Kagia, Anna ; Hu, Vincent C.

Computer Science - Crypt...
Report
Zur Merkliste hinzufügen
6

Fixed-Template Promise Model Checking Problems
Asimi, Kristina ; Barto, Libor ; Butti, Silvia

Computer Science - Compu... Mathematics - Logic
Report
Zur Merkliste hinzufügen
8

Software Model-Checking as Cyclic-Proof Search
Tsukada, Takeshi ; Unno, Hiroshi

Computer Science - Progr...
Report
Zur Merkliste hinzufügen
9

Model Checking Healthcare Workflows Using Alloy
Wang, Xiaoliang ; Rutle, Adrian
In Procedia Computer Science 2014 37:481-488

Fachzeitschrift
Zur Merkliste hinzufügen
10

Dieses Ergebnis kann Gästen nicht angezeigt werden.

11

Model Checking
Ferreira, Ana Paula Ludtke
2011 Workshop-School on Theoretical Computer Science Theoretical Computer Science (WEIT), 2011 Workshop-School on. :9-14 Aug, 2011

Konferenz
Zur Merkliste hinzufügen
12

Survey on model checking based hardware Trojan detection technology
ZHANG Qizhi, ZHAO Yiqiang, GAO Ya, MA Haocheng
网络与信息安全学报, Vol 7, Iss 2, Pp 57-63 (2021)

hardware trojan model checking model establishing property declaration Electronic computers. Co... QA75.5-76.95
Fachzeitschrift
Zur Merkliste hinzufügen
13

Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking
Wenjie Zhong ; Jian‐tao Zhou ; Tao Sun
IET Software, Vol 17, Iss 1, Pp 55-75 (2023)

concurrency (computers) formal specification petri nets Computer software QA76.75-76.765
Fachzeitschrift
Zur Merkliste hinzufügen
14

Dieses Ergebnis kann Gästen nicht angezeigt werden.

15

Model Predictive Control of an Industrial Distillation Column Based on a Hybrid Model: Adapting the Domain of Validity
Elsheikh, Mohamed ; Ortmanns, Yak ; Hecht, Felix ; et al.
In IFAC PapersOnLine 2023 56(2):7166-7171

Fachzeitschrift
Zur Merkliste hinzufügen
16

The Logic of Homophily Dynamics in Heterogeneous Networks: Axiomatization, Model Checking and Validity Checking
Xiling Luo
Mathematics, Vol 11, Iss 16, p 3484 (2023)

homophily computation tree logic implication between attr... axiom system model checking validity checking …
Fachzeitschrift
Zur Merkliste hinzufügen
18

Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems
Kalajdzic, Kenan ; Jegourel, Cyrille ; Bartocci, Ezio ; et al.

Computer Science - Syste...
Report
Zur Merkliste hinzufügen
19

Synthesis of Parametric Programs using Genetic Programming and Model Checking
Katz, Gal ; Peled, Doron
EPTCS 140, 2014, pp. 70-84

Computer Science - Softw... Computer Science - Artif... Computer Science - Neura...
Report
Zur Merkliste hinzufügen
20

An Experiment on Parallel Model Checking of a CTL Fragment
Saad, Rodrigo Tacla ; Zilio, Silvano Dal ; Berthomieu, Bernard

Computer Science - Logic... Computer Science - Distr...
Report
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter