학술논문

	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)

Secondary engineering of rhodolith beds by the sand tilefish Malacanthus plumieri generates distinctive habitats for benthic macroinvertebrates and fish

Academic Journal

Roos, N.C.; Veras, P.C.; Pereira-Filho, G.H.; Gutiérrez, J.L.; Gibran, F.Z.; Pinheiro, H.T.; Francini-Filho, R.B.; Longo, L.L.; Santos, C.S.G.; Senna, A.R.

In: Biodiversity and Conservation. (Biodiversity and Conservation, June 2024, 33(6-7):1941-1957)

Web of Science JCR 저널정보 Scopus Find it@PNU

Correction to: Secondary engineering of rhodolith beds by the sand tilefish Malacanthus plumieri generates distinctive habitats for benthic macroinvertebrates and fish (Biodiversity and Conservation, (2024), 33, 6-7, (1941-1957), 10.1007/s10531-024-02821-0)

Academic Journal

Roos, N.C.; Veras, P.C.; Pereira-Filho, G.H.; Gutiérrez, J.L.; Gibran, F.Z.; Pinheiro, H.T.; Francini-Filho, R.B.; Longo, L.L.; Santos, C.S.G.; Senna, A.R.

In: Biodiversity and Conservation. (Biodiversity and Conservation, June 2024, 33(6-7):1959-1960)

Web of Science JCR 저널정보 Scopus Find it@PNU

A benchmarking process to assess software requirements documentation for space applications

Academic Journal

Véras, P.C.; Villani, E.; Ambrosio, A.M.; Vieira, M.; Madeira, H.

In: Journal of Systems and Software. (Journal of Systems and Software, 1 February 2015, 100:103-116)

Full Text (ScienceDirect 종량제) Web of Science JCR 저널정보 Scopus Find it@PNU

Contributions of model checking and CoFI methodology to the development of space embedded software

Academic Journal

Pontes, R.P.; Véras, P.C.; Villani, E.; Ambrosio, A.M.

In: Empirical Software Engineering. (Empirical Software Engineering, February 2014, 19(1):39-68)

Full Text (ProQuest Central) Full Text (Springer-Archive) Web of Science JCR 저널정보 Scopus Find it@PNU

Occurrence and distribution of rhodolith beds on the Fernando de Noronha Archipelago of Brazil

Academic Journal

Amado-Filho, G.M.; Bahia, R.G.; Abrantes, D.P.; Matheus, Z.; Pereira-Filho, G.H.; Veras, P.C.

In: Aquatic Botany. (Aquatic Botany, August 2012, 101:41-45)

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

Dependability benchmark for PUS-based satellite on-board software

Conference

Véras, P.C.; Villani, E.; Madeira, H.; Ambrosio, A.M.

In: SpaceOps 2010 Conference, SpaceOps 2010 Conference. (SpaceOps 2010 Conference, 2010)

Scopus Find it@PNU

Errors on space software requirements: A field study and application scenarios

Conference

Véras, P.C.; Villani, E.; Ambrosio, A.M.; Silva, N.; Vieira, M.; Madeira, H.

In: Proceedings - International Symposium on Software Reliability Engineering, ISSRE, Proceedings - 2010 IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE, 2010, :61-70)

Full Text (IEEE) Scopus Find it@PNU

Benchmarking software requirements documentation for space application

Book

Véras, P.C.; Villani, E.; Pontes, R.P.; Ambrósio, A.M.; Vieira, M.; Madeira, H.

In: Computer Safety, Reliability, and Security - 29th International Conference, SAFECOMP 2010, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6351 LNCS:112-125)

Scopus Find it@PNU

A comparative analysis of two verification techniques for DEDS: Model checking versus model-based testing

Conference

Pontes, R.P.; Véras, P.C.; Villani, E.; Essado, M.; Ambrösio, A.M.

In: IFAC Proceedings Volumes (IFAC-PapersOnline), 4th IFAC Workshop on Discrete-Event System Design, DESDes'09 - Proceedings. (IFAC Proceedings Volumes (IFAC-PapersOnline), 2009, 4(PART 1):66-71)

Full Text (ScienceDirect 종량제) Scopus Find it@PNU

부산대학교 도서관

메일 발송