• Nem Talált Eredményt

18 eredmény a kulcsszóra: 'model checking'

A közszolgálati szervezetek értékelési módszereinek osztályozása (Classification of evaluation methods of public sector organizations)

(Például a MARQuIS kutatási projektben a minőségügyi módszerek az átfogó kategória, míg a Boland–Fowler (2000) cikkben a teljesítménymérési és

Protected

N/A

12
0
0
2022
Egy ál-Cato a Dunáról

lóan és Anniustól eltérôen, a vult [szándéko- zik, akar] igét használja a mondat állítmánya- ként. Ennek alapján könnyen elképzelhetô, hogy Pázmány és Briet nem

Protected

N/A

1
0
0
2022
LTL Model Checking

The goal of this paper is to combine the compact, component-wise state space representation of saturation with the efficiency of explicit state model checking. The first step is

Protected

N/A

34
0
0
2022
“Put a Stop to the Excessive Influx”: The Rhetoric of Restriction Regarding Female and Jewish Students at Budapest University, 1900–1930

Based on archival and press sources, and drawing in particular on the faculty council minutes of the Faculties of Medicine and Humanities at Budapest University, this article

Protected

N/A

31
0
0
2022
Kish, L.: Többcélú mintavételi tervek

EGB ESÉ Elektronikus Adatteidolgozási munka- csoportjának soros ülésére, melyen Straub Elek, a Központi Statisztikai Hivatal elnökhelyettese és Alföldi István, a

Protected

N/A

2
0
0
2022
Petőfi-legenda

— Ejnye, szólni kellene az Ürnak, — mondja Deák Ferenc tűnődve Kossuth Lajosnak, de ahogy megfordulnak, már akkor ott áll az Űristen maga is és mosolyogva simogatja meg a

Protected

N/A

2
0
0
2022
DánielDarvas Practice-OrientedFormalMethodstoSupporttheSoftwareDevelopmentofIndustrialControlSystems

a new, saturation-based bounded model checking algorithm with different iteration strategies (Thesis 1), a new method to apply model checking for PLC programs (Thesis 2) and the

Protected

N/A

24
0
0
2023
Az Európai Unió gazdasága

• Az Európai Külügyi Szolgálat munkáját az Európai Unió külügyi vezetője – az Unió külügyi és. biztonságpolitikai főképviselője – irányítja, aki egyben

Protected

N/A

25
0
0
2022
Chapters from the Academic Aspect of Project Management - Research and Teaching Methodologies Volume III

The project established an umbrella with the purpose of identifying and solving real-life problems with the cooperation of higher education institutions and

Protected

N/A

20
0
0
2022
Abstraction-Based Model Checking of Linear Temporal Properties

This reduces the LTL model checking task to product calculation and language emptiness checking, which can be efficiently computed on B¨uchi automata, but the problem of state

Protected

N/A

4
0
0
2022
A Nemzetközi Dokumentációs Szövetség 27. konferenciája megtekintése

Y.NIWA előadása a japán dokumentáció kifejlődésének, a japán tudományos élet kialakulásának előzményeiről és a Japán Tudományos Tájékoztató Intézet munkájáról

Protected

N/A

6
0
0
2022
Romai Classicusok, magyar forditasokban. 1. C. C. Sallustius' épen maradt minden munkái. Magyarra Kazinczy Ferencz

El valának fáradva egesz.d éjjel menven, ’s Sulla napköltekor táborba szállott, ’s ime erkeznek a’ Maurus kemek, hozzák a’ hirt, hogy- Jugurtha elöttök

Protected

N/A

257
0
0
2022
Két nemzedék. Egy apa–fiú konfliktus nemzetiségi háttere

Soha nem tudjuk meg, hogy pontosan mi motiválta második házasságuk elıtt František Kabinát és Katona Sándort, de nem is ez a lényeges, hanem az, ahogy az unoka, Gábor

Protected

N/A

28
0
0
2022
DOKTOR OX THEÓRIÁJA

Ám az meglátszott rajta, hogy irtózatos öreg lehet: - roppant nagy esetlen feje sehogy sem illett zömök, alacsony termetéhez, melynek széle-hossza egy volt; az arcza oly kerek

Protected

N/A

1
0
0
2022
Materials Today Chemistry

Benzylidenemalonotrile selectivity data as a function of the number of medium basic sites (mmol/g) (A) and TOF (h 1 ) values as a function of the total number of basic sites

Protected

N/A

14
0
0
2022
Saturation-based Incremental LTL Model Checking with Inductive Proofs

Recurring states are those that have already been discovered before reaching them again during state space generation. In the context presented in Section.. Explicit SCC compu-

Protected

N/A

15
0
0
2022
Egy íróbarátság dokumentumaiSzenvey József levelei Kisfaludy Károlynak (1825–1828)

Kisfaludy Károly személyes találkozásuk alkalmával ígéretet is tett a fordítás elol- vasására és véleményezésére, hiszen 1827-es levelében Szenvey emlékeztette őt erre az

Protected

N/A

24
0
0
2022
Válasz MTA értekezés bírálatára

Kérdés: a kérdés az volt, hogy miért a posterior keringést vizsgáltuk funkcionális TCD vizsgálattal, és miért nem az arteria cerebri media területét, mely az ischemiás stroke

Protected

N/A

5
0
0
2022

Töltsön fel további dokumentumokat, és töltse le azonnal az anyagtanulmányokat!