학술논문

	o	ㅋ	ㄱ	ㅅ	ㅈ	ㅌ	ㄷ	촉	ㄴ	ㅎ	ㅂ	ㅃ	ㅁ	야	ㄹ	와
ㅏ	あ a	ぁ	か ka	が ga	さ sa	ざ za	た ta	だ da		な na	は ha	ば ba	ぱ pa	ま ma	や ya	ゃ lya	ら ra	わ wa	ゎ lwa	ん n
l	い i	ぃ	き ki	ぎ gi	し si	じ zi	ち ti	ぢ di		に ni	ひ hi	び bi	ぴ pi	み mi			り ri
ㅜ	う u	ぅ	く ku	ぐ gu	す su	ず zu	つ tu	づ du	っ	ぬ nu	ふ hu	ぶ bu	ぷ pu	む mu	ゆ yu	ゅ lyu	る ru
ㅔ	え e	ぇ	け ke	げ ge	せ se	ぜ ze	て te	で de		ね ne	へ he	べ be	ぺ pe	め me			れ re
ㅗ	お o	ぉ	こ ko	ご go	そ so	ぞ zo	と to	ど do		の no	ほ ho	ぼ bo	ぽ po	も mo	よ yo	ょ lyo	ろ ro	を wo

	o	ㅋ	ㄱ	ㅅ	ㅈ	ㅌ	ㄷ	촉	ㄴ	ㅎ	ㅂ	ㅃ	ㅁ	야	ㄹ	와
ㅏ	ア a	ァ	カ ka	ガ ga	サ sa	ザ za	タ ta	ダ da		ナ na	ハ ha	バ ba	パ pa	マ ma	ヤ ya	ャ lya	ラ ra	ワ wa	ヮ lwa		ン n
l	イ i	ィ	キ ki	ギ gi	シ si	ジ zi	チ ti	ヂ di		ニ ni	ヒ hi	ビ bi	ピ pi	ミ mi			リ ri
ㅜ	ウ u	ゥ	ク ku	グ gu	ス su	ズ zu	ツ tu	ヅ du	ッ	ヌ nu	フ hu	ブ bu	プ pu	ム mu	ユ yu	ュ lyu	ル ru			ヴ vu
ㅔ	エ e	ェ	ケ ke	ゲ ge	セ se	ゼ ze	テ te	デ de		ネ ne	ヘ he	ベ be	ぺ pe	メ me			レ re
ㅗ	オ o	ォ	コ ko	ゴ go	ソ so	ゾ zo	ト to	ド do		ノ no	ホ ho	ボ bo	ポ po	モ mo	ヨ yo	ョ lyo	ロ ro	ヲ wo		ーー

독일어
ä	Ä	ö	Ö	ü	Ü	ß
프랑스어
á	à	Á	À	é	è	É	È	ç	Ç	ê
스페인어
à	á	Á	é	É	í	Í	Ó	ó	Ú	ú	Ñ	ñ	ä	Ä

발행년	- (예 : 2010-2015)

전체선택

Nosocomial Malaria Transmissions Resolved by Genomic Analyses - A Retrospective Case Report Study in France: 2007-2021

Academic Journal

Coppee, R.; Sarrasin, V.; Zaffaroulah, R.; Bouzayene, A.; Clain, J.; Houze, S.; Thellier, M.; Noël, H.; Abgrall, S.; Alizada, U.; Argy, N.; Benet, B.; Botterel, F.; Bouetard, L.; Braun, F.; Broustal, O.; Brun, S.; Calba, C.; Chosidow, A.; Damoisel, C.; De Suremain, N.; Dhote, R.; Eclache-Saudreau, V.; Fenneteau, O.; Figoni, J.; Fremont-Goudot, G.; Gaudichon, A.; Gette, S.; Goetz, C.; Guigui, L.; Hamon, C.; Harich, R.; Hautcoeur, A.; Jaureguiberry, S.; Joste, V.; Kendjo, E.; Khouadhria, S.; Lepainteur, M.; Leleu, A.; Llorens, M.; Lorrot, M.; Marteau, A.; De Molliens, I.P.; Quermelin, V.; Szatmary, L.R.D.; Renaudin, L.; Riviere, S.; Robert, C.; Simon, L.; Siriez, J.-Y.; Soualah, S.; Tarantola, A.; Tastet, F.; Vignes, D.; Zhu-Soubise, A.; Zouiti, F.

In: Clinical Infectious Diseases. (Clinical Infectious Diseases, 15 February 2023, 76(4):631-639)

Full Text (Oxford University Press) Web of Science JCR 저널정보 Scopus Find it@PNU

Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL

Book

Soualah, S.; Khalgui, M.; Chaoui, A.

(Lecture Notes on Data Engineering and Communications Technologies, 2024, 200:199-212)

Scopus Find it@PNU

Formal verification of reconfigurable discrete-event systems using Isabelle/HOL theorem prover on cloud environment

Conference

Soualah, S.; Hafidi, Y.; Mosbahi, O.; Khalgui, M.; Chaoui, A.; Kahloul, L.

In: 35th Annual European Simulation and Modelling Conference 2021, ESM 2021, 35th Annual European Simulation and Modelling Conference 2021, ESM 2021. (35th Annual European Simulation and Modelling Conference 2021, ESM 2021, 2021, :138-149)

Scopus Find it@PNU

Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop

Book

Soualah, S.; Hafidi, Y.; Khalgui, M.; Kahloul, L.; Chaoui, A.

In: Software Technologies - 15th International Conference, ICSOFT 2020, Revised Selected Papers. (Communications in Computer and Information Science, 2021, 1447:227-241)

Scopus Find it@PNU

Efficient verification of reconfigurable discrete-event system using isabelle/hol theorem prover

Conference

Soualah, S.; Hafidi, Y.; Khalgui, M.; Chaoui, A.; Kahloul, L.

In: Modelling and Simulation 2020 - The European Simulation and Modelling Conference, ESM 2020, Modelling and Simulation 2020 - The European Simulation and Modelling Conference, ESM 2020. (Modelling and Simulation 2020 - The European Simulation and Modelling Conference, ESM 2020, 2020, :139-146)

Scopus Find it@PNU

Formalization and verification of reconfigurable discrete-event system using model driven engineering and Isabelle/HOL

Conference

Soualah, S.; Hafidi, Y.; Khalgui, M.; Kahloul, L.; Chaoui, A.

In: ICSOFT 2020 - Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020 - Proceedings of the 15th International Conference on Software Technologies. (ICSOFT 2020 - Proceedings of the 15th International Conference on Software Technologies, 2020, :250-259)

Scopus Find it@PNU

부산대학교 도서관

메일 발송