Number of the records: 1
A survey of verification techniques for solving the state explosion problem
Title A survey of verification techniques for solving the state explosion problem Author Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Source document Preprints of the IFAC Conference Control Systems Design. p. 366-371. - Bratislava, 2000 Language eng - English Country SK - Slovak Republic Note Publikované tiež ako publikácia v zborníku, ktorý vydalo vydavateľstvo Pergamon Elsevier Science pod názvom "Control System Design", Eds.: Kozák, Š., Huba, M. ISBN 0-08-043546, IFAC Proceedings Volumes, 2000, vol. 33, no. 13, pp. 361-366. Document kind rozpis článkov z periodík (rzb) Citations GARAVEL, Hubert - LANG, Frederic - MOUNIER, Laurent. Compositional Verification in Action. In FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2018. ISSN 0302-9743, 2018, vol. 11119, no., pp. 189-210. Category AFJ - Preprints of scientific papers published in domestic publishing house Year 2000 article
rok vydania rok metriky IF IF Q (best) SJR SJR Q (best) 2000
Number of the records: 1