• 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 201 - 220 von 6.203

201

Approximate conformance checking: Fast computation of multi-perspective, probabilistic alignments.
Gianola, Alessandro ; Ko, Jonghyeon ; Maggi, Fabrizio Maria ; et al.
Information Systems. Mar2025, Vol. 129, pN.PAG-N.PAG. 1p.

Machine learning Encoding Petri nets Process mining Probability theory
Fachzeitschrift
Zur Merkliste hinzufügen
202

Automated formal analysis and verification: an overview.
Křena, Bohuslav ; Vojnar, Tomáš
International Journal of General Systems. May2013, Vol. 42 Issue 4, p335-365. 31p. 3 Diagrams.

COMPUTER system failures COMPUTER programming COMPUTER software COMPUTER-aided design DEBUGGING FINITE state machines
Fachzeitschrift
Zur Merkliste hinzufügen
203

Software engineering for molecular programming
Lutz, Robyn R. ; Lutz, Jack H.
Proceedings of the 38th International Conference on Software Engineering Companion. :888-889

Konferenz
Zur Merkliste hinzufügen
204

Entropic relevance: A mechanism for measuring stochastic process models discovered from event data.
Alkhammash, Hanan ; Polyvyanyy, Artem ; Moffat, Alistair ; et al.
Information Systems. Jul2022, Vol. 107, pN.PAG-N.PAG. 1p.

Machine learning Stochastic models Process mining
Fachzeitschrift
Zur Merkliste hinzufügen
205

Proving non-termination
Gupta, Ashutosh ; Henzinger, Thomas A. ; Majumdar, Rupak ; et al.
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :147-158

Konferenz
Zur Merkliste hinzufügen
206

Relevance heuristics for program analysis
McMillan, K. L.
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :145-146

Konferenz
Zur Merkliste hinzufügen
207

Dieses Ergebnis kann Gästen nicht angezeigt werden.

208

Systems engineering principles for the design of biomedical signal processing systems
Faust, Oliver ; Acharya U, Rajendra ; Sputh, Bernhard H.C. ; et al.
Computer Methods & Programs in Biomedicine. Jun2011, Vol. 102 Issue 3, p267-276. 10p.

SYSTEMS engineering SIGNAL processing RELIABILITY in engineeri... TECHNICAL specifications DIABETES HYPERGLYCEMIA …
Fachzeitschrift
Zur Merkliste hinzufügen
209

Proving that programs eventually do something good
Cook, Byron ; Gotsman, Alexey ; Podelski, Andreas ; et al.
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :265-276

Konferenz
Zur Merkliste hinzufügen
210

Variance analyses from invariance analyses
Berdine, Josh ; Chawdhary, Aziem ; Cook, Byron ; et al.
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :211-224

Konferenz
Zur Merkliste hinzufügen
211

SafeProver : A High-Performance Verification Tool
Etienne, Jean-Frédéric ; Juppeaux, Eric
ACM SIGAda Ada Letters. 36(2):47-48

Fachzeitschrift
Zur Merkliste hinzufügen
212

Solving the ignoring problem for partial order reduction.
Evangelista, Sami ; Pajault, Christophe
International Journal on Software Tools for Technology Transfer. May2010, Vol. 12 Issue 2, p155-170. 16p. 7 Diagrams, 5 Charts, 1 Graph.

ALGORITHMS PETRI nets GRAPH theory COMBINATORICS SOFTWARE verification
Fachzeitschrift
Zur Merkliste hinzufügen
213

Dual Flow Nets : Modeling the control/data-flow relation in embedded systems
Varea, Mauricio ; Al-Hashimi, Bashir M. ; CortéS, Luis A. ; et al.
ACM Transactions on Embedded Computing Systems (TECS). 5(1):54-81

Fachzeitschrift
Zur Merkliste hinzufügen
214

Solving coverability problems of petri nets by partial deduction
Leuschel, Michael ; Lehmann, Helko
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming. :268-279

Konferenz
Zur Merkliste hinzufügen
215

Approach for the development of mobile applications based on migrant objects
Aissa ElMahdi Bourahla ; Mustapha Bourahla
Computer Science Journal of Moldova, Vol 30, Iss 1(88), Pp 3-27 (2022)

mobile application migrant objects rewriting logic mobile maude maude ltl model checker Electronic computers. Co... …
Fachzeitschrift
Zur Merkliste hinzufügen
216

Solar DHW system performance correlation revisited
Brinkworth, B.J.
In Solar Energy 2001 71(6):377-387

Fachzeitschrift
Zur Merkliste hinzufügen
217

SCRATCH : a tool for automatic analysis of dma races
Donaldson, Alastair F. ; Kroening, Daniel ; Ruemmer, Philipp
Proceedings of the 16th ACM symposium on Principles and practice of parallel programming. :311-312

Konferenz
Zur Merkliste hinzufügen
218

An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets.
Hutchison, David ; Kanade, Takeo ; Kittler, Josef ; et al.
Formal Techniques for Networked & Distributed Systems: FORTE 2007. 2007, p280-295. 16p.

Buch
Zur Merkliste hinzufügen
219

Towards semantic model composition via experiments
Peng, Danhua ; Ewald, Roland ; Uhrmacher, Adelinde M.
Proceedings of the 2nd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation. :151-162

Konferenz
Zur Merkliste hinzufügen
220

Model Updating CTL Systems.
Zhang, Shichao ; Jarvis, Ray ; Ding, Yulin ; et al.
AI 2005: Advances in Artificial Intelligence. 2005, p5-16. 12p.

Buch
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter