18 eredmény a kulcsszóra: 'model checking'
(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
N/A
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
N/A
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
N/A
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
N/A
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
N/A
— 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
N/A
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
N/A
• 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
N/A
The project established an umbrella with the purpose of identifying and solving real-life problems with the cooperation of higher education institutions and
N/A
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
N/A
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
N/A
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
N/A
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
N/A
Á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
N/A
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
N/A
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-
N/A
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
N/A