Formal API Specification of the PikeOS Separation Kernel

Autor: Verbeek, F., Havle, O., Schmaltz, J., Tverdyshev, S., Blasum, H., Langenstein, B., Stephan, W., Wolff, B., Nemouchi, Y., Havelund, K., Holzmann, G., Joshi, R.

Publikováno v: Lecture Notes in Computer Science
NASA Formal Methods-7th International Symposium, NFM 2015
NASA Formal Methods-7th International Symposium, NFM 2015, Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi, Apr 2015, Pasadena, CA, USA, France. pp.375--389, ⟨10.1007/978-3-319-17524-9_26⟩
Havelund, K.; Holzmann, G.; Joshi, R. (ed.), NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings, pp. 375-389
Lecture Notes in Computer Science ISBN: 9783319175232
NFM
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings, 375-389
STARTPAGE=375;ENDPAGE=389;TITLE=NASA Formal Methods
Lecture Notes in Computer Science ; 9058, 375-389. Berlin : Springer International Publishing
STARTPAGE=375;ENDPAGE=389;TITLE=Lecture Notes in Computer Science ; 9058
Verbeek, F, Havle, O, Schmaltz, J, Tverdyshev, S, Blasum, H, Langenstein, B, Werner, S, Wolff, B & Nemouchi, Y 2015, Formal API Specification of the PikeOS Separation Kernel . in K Havelund, G Holzmann & R Joshi (eds), NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings . Springer International Publishing AG, Cham, Lecture Notes in Computer Science (LNCS) series, no. 9058, Programming and Software Engineering LNPSE, vol. 9058, pp. 375-389, 7th NASA Formal Methods Symposium, Pasadena, United States, 27/04/15 . https://doi.org/10.1007/978-3-319-17524-9_26

PikeOS is an industrial operating system for safety and security critical applications in, for example, avionics and automotive contexts. A consortium of several European partners from industry and academia works on the certification of PikeOS up to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6fa5d6a773db1c731aea92a8a77bf08e
https://hal.inria.fr/hal-01275405

On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet

Autor: Garcia Ramirez, A., Schmaltz, J., Verbeek, F., Langenstein, B., Blasum, H., Bondavalli, A., Di Giandomenico, F.

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319105055
SAFECOMP
33rd International Conference on Computer Safety, Reliability and Security (SafeComp'14, Firenze, Italy, September 10-12, 2014), 246-261
STARTPAGE=246;ENDPAGE=261;TITLE=33rd International Conference on Computer Safety, Reliability and Security (SafeComp'14, Firenze, Italy, September 10-12, 2014)

We formally compare two industrially relevant and popular models of noninterference, namely, the model defined by Rushby and the one defined by Greve, Wilding, and Vanfleet (GWV). We create a mapping between the objects and relations of the two model

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a9b0f2b67fc6928e7fe181853026b73
https://doi.org/10.1007/978-3-319-10506-2_17

Candida bloodstream infections in intensive care units: analysis of the extended prevalence of infection in intensive care unit study

Autor: Keth, Th, Azoulay, E, Echeverria, Pm, Vincent, Jl, Collaboratorsmargarit, A, Valentini, R, Alan Javier, Z, Bevilacqua, C, Curone, M, Rabuffetti, R, Comignani, P, Torres Boden, M, Chertcoff, F, Cardonatti, G, Adén, F, Marcos, L, Dónofrio, M, Fernández, R, Lamberghini, R, Balasini, S, Teves, J, Las Heras, M, Sinner, J, Ceraso, D, Curcio, D, Aguilar, L, Weller, C, Cardonnet, L, Santa Cruz, R, Manrique, E, Bernardez, D, Iolster, T, Chiappero, G, Ramos, P, Vergara, J, Moine, I, Ilutovich, S, Jannello, G, Waschbusch, M, Rios Picaza, G, Raimondi, A, Miriam, M, Lovesio, C, Caridi, M, Leong, T, Orford, N, Reece, G, Ernest, D, Hawker, F, Tan, J, Giannellis, C, Ihle, B, Bersten, A, Mcinnes, J, Tallott, M, Mcfadyen, B, Vibert, J, Parr, M, Tran, K, Sutton, J, Webb, S, Groves, N, Cole, L, Long, D, Bass, F, Erickson, S, Lipman, J, Delzoppo, C, Thomas, J, Dobb, G, Daley, M, Roberts, B, Santamaria, J, Young, J, Festa, M, Holland, R, Mullany, D, Williams, P, Corkeron, M, Gales, M, Banerjee, A, Yung, M, Mutz, N, Hiesmayr, M, Faybik, P, Fitzgerald, R, Firlinger, F, Zasmeta, G, Zink, M, Sieber, W, Hildegard, J, Bakondy, R, Schlieber, J, Filzwieser, G, Beer, R, Joannidis, M, Schuster, R, Scherzer, W, Smolle, K, Fitzal, S, Manzoor, R, Brunain, J, D'Hondt, A, Huylenbroeck, G, Van der Schueren, M, 't Kindt, H, Slock, E, Rijckaert, D, Raemaekers, J, Bourgeois, M, Van Cotthem, I, Nackaerts, G, Gusu, D, Gadisseux, P, Vancollie, O, Lignian, H, Michel, P, Fraipont, V, Vander Stappen, M, Forêt, F, De Bels, D, Devriendt, J, Massaut, J, Biston, P, Roman, A, Lambermont, B, De Meulder, A, Frederic, V, Sottiaux, T, Ruyffelaere, P, Collin, V, Anane, S, Kleiren, P, Simon, M, Machayekhi, S, Frans, E, Leroy, G, Berghmans, T, Joseph, R, Eerens, J, Laterre, P, Lagrou, B, Rutsaert, R, Pisarek, W, Dive, A, De Waele, J, Spapen, H, Damas, P, Malbrain, M, Hidalgo, J, Baptista, M, Salgado, D, Braga, M, Avila, C, Westphal, G, Caser, E, Alves, A, Friedman, G, Luz, M, Assuncao, M, Reis, H, Gomes, A, Silva, U, Nogueira Fh, W, El Dash, S, Valiatti, J, Barbosa, A, Coelho, C, Knibel, M, Minelli, C, Caovilla, J, Teixeira, G, Hovnanian, A, Rea Neto, A, Lobo, S, Lugarinho, M, Souza, P, Ferreira, D, Duarte, P, Oliveira, M, Marques, J, Machado, R, Rehder, P, Mataloun, S, Grilo, M, Quesado, P, Moock, M, Ferreira, F, Teles, J, Silva, E, Morais, A, Bruzzi de Carvalho, F, Wanderley, M, Velasco, M, Brandão da Silva, N, Feijó, J, Souza Dantas, V, Costa Filho, R, Japiassú, A, Villela, D, Santos, C, Passos, R, Alheira Rocha, R, Silva, R, Houly, J, Aldrighi, J, Hatum, R, Suparregui Dias, F, Ferreira, L, Ferro, L, Gomez, J, Fleury, R, David, C, Resener, T, Mendes, C, Germano, A, De Marco, F, Lage, S, Salluh, J, Torelly, A, Sad, R, Oliveira, G, Lima, R, Paranhos, J, Rocha, M, Bitencourt, W, Grion, C, Forte, D, Guimarães, H, Piras, C, Stephanova, L, Lyubenov, L, Tsarianski, G, Dimov, G, Green, R, Levasseur, J, Ward, R, Lesur, O, Poirier, G, Wax, R, Wood, G, Cook, D, Marshall, J, Herridge, M, Ferguson, N, Espinoza, M, Valdés jimenez, S, Bruhn, A, Micolich, J, Fricke, G, Galvez, S, Escamilla Leon, I, Zhan, Q, Xu, Y, Zhao, Y, Zhang, L, Qin, T, Du, B, Li, M, Wang, X, Jing, Y, Zhang, Z, Xianyao, W, Li, F, Congshan, Y, Rebolledo, C, Diaz, D, Murillo Arboleda, R, Arias Antun, A, Montenegro, G, Granados, M, Dueñas, C, Perez, N, Libreros Duque, G, Coral, M, Ortiz, G, Rodriguez, D, Barsic, B, Cubrilo Turek, M, Gornik, I, Grljusic, M, Caballero lopez, A, Iraola Ferrer, M, Pavlik, P, Manak, J, Radej, J, Belohlavek, J, Sevcik, P, Blahut, L, Tyl, D, Steinbach, J, Herold, I, Zykova, I, Prchal, D, Bartosik, T, Kolarova, M, Hájek, R, Kohoutová, J, Marek, O, Hon, P, Chytra, I, Betsch, H, Fogh, B, Espersen, K, Jacobsen, K, Berezowicz, P, Andrade, C, Guerrero, F, Salgado, E, Barahona, D, Del Pozo Sanchez, H, Jibaja, M, Alansary, A, Reintam, A, Starkopf, J, Harjola, V, Tual, L, Leone, M, Serge, M, Leroy, O, Mallet, L, Marc, B, Dormoy, D, Pascal, H, Tronchon, L, Garrigues, B, Santré, C, Dupont, H, Duranteau, J, Leon, A, Henry, L, Canevet, C, Dube, L, Julien, H, Nadia, A, Francois, B, Gérard, J, Freysz, M, Remy, G, Blanloeil, Y, Squara, P, Korach, Jm, Durand, M, Gabriel, C, Eric, P, Jacobs, F, Bronchard, R, Kipnis, E, Moussa, M, Launoy, A, Guérin, C, Vanhems, P, Wynckel, A, Clair, B, Fulgencio, J, Gottwalles, Y, Krummel, T, Lepape, A, Lesieur, O, Payen, D, Hérvé, O, Farkas, J, Cougot, P, Mallédant, Y, Joannes Boyau, O, Standl, T, Sierig, U, Geiseler, J, Hopf, H, Conrad Opel, E, Hermann, C, Ventzke, M, Henneberg, T, Esposito, F, Loeser, H, Spies, C, Zuckermann Becker, H, Voegeler, S, Scherer, R, Pauer, A, Kljucar, S, Delfs, K, Blank, E, Busch, J, Wendt, K, Lessmann, J, Bach, F, Sakr, Y, Berlet, T, Kernchen, A, Quintel, M, Holst, D, Kilger, E, Holubarsch, T, Raufhake, C, Stolt, C, Lubasch, A, Meier Hellmann, A, Woebker, G, Scharnofske, C, Breyer, M, Risch, T, Manhold, C, Goethe, Jw, Meininger, D, Greive, C, Rau, J, Seibel, A, Henn beilharz, A, Wolbert, R, Scherke, T, Martin, J, Rudolph, M, Gleissner, J, Wolf, M, Schleibach, F, Jaschinski, U, Lunkeit, A, Welte, M, Bingold, T, Kogelmann, K, Fischer, F, Fischer, B, Schmid, M, Klein, M, Bechtold, A, Bodmann, K, Klasen, J, Meyrl, H, Goetz, J, Geldner, G, Helmes, T, Jensen, N, Eickmeyer, H, Lengfelder, W, Langenstein, B, Bogdanski, R, Jelen Esselborn, S, Umgelter, A, Dörr, F, Lüttje, K, Heinemeyer, D, Uhl, M, Schirle, P, Benad, H, Glaser, M, Panzer, W, Huettemann, E, Stierwaldt, R, Schappacher, M, Müller, E, Stadlmeyer, W, Fantini, M, Dummer, B, Thörner, M, Jost, V, Loerbroks, T, Glück, T, Zimmermann, R, Clement, R, Hering, R, Klinger, T, Mehl, J, Polozek, H, Rothhammer, A, Seidler, R, Lorenz, P, Mueritz, W, Lutze, M, Euler, M, Heintz, M, Winkler, M, Angstwurm, M, Krohe, K, Treu, T, Steiner, T, Locher, S, Walz, A, Zahn, P, Brandt, W, Marks, M, Henning, F, Janssens, U, Luethgens, M, Theelen, W, Sydow, M, Weber, M, Meiser, A, Deutschmann, C, Buttner, C, Jokiel, M, Bozzetti, C, Jürgen, B, Fiedler, F, Wresch, K, Kremer, A, Bleier, H, Rueckert, M, Ditter, H, Peckelsen, C, Friederich, P, Weber, K, Krueger, W, Lowack, R, Michalsen, A, Ragaller, M, Groeschel, A, Friedrich, T, Hinz, M, Christel, A, Hartwig, T, Kaisers, U, Schmitt, D, Vögeler, S, Weiss, M, Reiter, K, Schwab, T, Trieschmann, U, Kindgen milles, D, Engel, J, Sedemund adib, B, Lauterbach, M, Max, M, Volkert, T, Waydhas, C, Hien, S, Briegel, J, Guralnik, V, Zoremba, N, Riessen, R, Müllges, W, Nierhaus, A, Strauss, R, Utzolino, S, Thul, J, Abel, P, Gründling, M, Kessler, W, Scheuren, K, Vagts, D, Rensing, H, Schoch, B, Kopp, K, Gerlach, H, Corea, M, Uhrig, A, Schroeder, S, Jordan, F, Huber, T, Bittinger, M, Sofianos, E, Armaganidis, A, Routsi, C, Bitzani, M, Chalkiadaki, A, Michalopoulos, A, Mouloudi, E, Ioannidou, E, Myrianthefs, P, Koulenti, D, Karampela, I, Kyriazopoulos, G, Mandragos, K, Clouva molyvdas, P, Moraiti, A, Pneumatikos, I, Filos, K, Zakynthinos, E, Kotanidou, A, Vakalos, A, Cheng, A, Buckley, T, Gomersall, C, Kiss, K, Tamási, P, Sarkany, A, Csomos, A, Zöllei, É, Todi, S, Udwadia, F, Shah, R, Amin, P, Samavedam, S, Mathai, A, Patil, M, Jog, S, Gurjar, M, Vats, M, Varma, A, Gopal, P, Kapadia, F, Chawla, R, Iyer, S, Sahu, S, Bakshi, C, Ambike, D, Govil, D, Karipparambath, V, Chacko, J, Sathe, P, Rungta, N, Jani, C, Bhome, A, Prayag, S, Ray, S, Rajagopalan, R, Divatia, J, Da costa, R, Shyam Sunder, T, Wibowo, P, Maskoen, T, Sugiman, T, Nowruzinia, S, Lotfi, A, Mahmoodpoor, A, Donnelly, M, Breen, D, Ng, S, Bates, J, Sprung, C, Lev, A, Kishinevsky, E, Cohen, J, Sofer, S, Vesconi, S, Greco, S, Borelli, M, Cecilia, P, Sapuppo, M, Lazzero, A, Mangani, V, Petrucci, N, Minerva, M, Rummo, G, De blasio, E, Marzorati, S, Rosi, R, Giarratano, A, Margarit, O, Guberti, A, Scolz, S, Stelian, E, Emmi, V, Caspani, M, Rosano, A, Abbruzzese, C, Colonna, S, Ceriani, R, De Blasi, R, Panella, L, Borrelli, F, Lorella, P, Ruatti, H, Munch, C, Sorbara, C, Fiore, G, Chieregato, A, Conti, V, Guadagnucci, A, Pizzamiglio, M, Locicero, Mt, Marri, I, Sicignano, A, Conte, V, Oggioni, R, De Gasperi, A, De negri, P, Santagostino, G, Roberto, F, Marino, G, Castiglione, G, Sforza, D, Camillo, S, Giuseppe, N, Bassetti, Matteo, Napoli, D, Ferraro, F, Clementi, S, Di Filippo, A, Cotogni, P, Ranieri, Mv, Antonelli, M, Martinelli, L, Gianesello, L, Gullo, A, Morelli, A, Biancofiore, G, DELLA ROCCA, Giorgio, Hashimoto, S, Onodera, M, Kobayashi, A, Shinozuka, T, Imanaka, H, Ikeda, T, Yaguchi, A, Misane, I, Piebalga, A, Moughaghab, A, Pilvinis, V, Vosylius, S, Balciunas, M, Kekstas, G, Margaret, H, Klop, M, Grozdanovski, K, Eftimova, B, Wafa, S, Lim, C, Mat nor, M, Tai, L, Syed Mohd Tahir, S, Idris, N, Tan, C, Borg, M, Manzo, E, Gutierrez Morales, H, Miguel, P, Villagomez, A, Bassols, A, Aguirre, G, Cerón, U, Lopez ramos, J, Monjardín, J, Bermudez Aceves, E, Gonzalez Salazar, F, Rodriguez Gonzalez, D, Poblano Morales, M, Ramirez, F, Cetina, M, Navarro, J, Villagomez Ortiz, A, Sanchez, V, Chavarria, U, Fernandez Ponce, O, Serna secundino, H, Leonardo, O, Diego Manuel, R, Mijangos, J, Vazquez de Anda, G, Martin, E, Gutierrez, P, López Islas, I, Soberanes, L, Pejakov, L, Sbihi, A, Ouahid, B, Naoufel, M, De Pont, A, Rosseel, P, Ten Cate, J, Van Berkel, G, Corsten, S, Bakker, J, Vogelaar, J, Blom, H, Kieft, H, Kuiper, M, Gille, A, Pickkers, P, Vet, J, Ammann, J, Den Boer, S, Wesselink, R, Speelberg, B, Pham, C, Rodgers, M, Bergmans, D, Groeneveld, J, Mcarthur, C, Parke, R, Mehrtens, J, Celi, L, Freebairn, R, Rankin, N, Heffernan, C, Mchugh, G, Beca, J, Van haren, F, Barry, B, Kalkoff, M, Loevstad, R, Klepstad, P, Erno, P, Junker, A, Naqvi, S, Javed, I, Sinclair, J, Rivera, R, Chavez, C, Donayre Taber, Z, Quispe Sierra, R, Muñoz, J, Galvez Ruiz, J, Fang Li, J, Candiotti Herrera, M, Arroyo, A, Becerra, R, Meza, J, Mayorga, M, Garba, P, Kot, J, Gaszynski, T, Piechota, M, Renata, S, Müller, P, Stepinska, J, Jacek, K, Cieniawa, T, Mikstacki, A, Tamowicz, B, Bartkowska Sniatkowska, A, Karpel, E, Kusza, K, Smuszkiewicz, P, Mikaszewska Sokolewicz, M, Goraj, R, Kubler, A, Bártolo, A, Castelo Branco Sousa, M, Esteves, F, Martins, A, João, Hs, Oliveira, T, Ponce, P, Mourão, L, Febra, C, Carmo, E, Lopes, V, Póvoa, P, Rezende, A, Costa, H, Moreira, P, Pádua, F, Leite, A, Almeida, E, Alves, M, Sousa, A, Telo, L, João, S, Dias, C, Paiva, J, Ribeiro, R, Amaro, P, Carneiro, A, Moreno, R, Matos, R, Afonso, S, Bouw, M, França, C, Ibrahim, A, Tabacaru, R, Ionita, V, Tulbure, D, Filipescu, D, Pascanu, S, Grigoras, I, Copotoiu, S, Popov, D, Lebedev, E, Olga, I, Yaroshetskiy, A, Lugovkina, T, Dmitry, B, Malinin, O, Lekmanov, A, Abulmagd, M, Arabi, Y, Alhashemi, J, Ali, A, Maghrabi, K, Debek, A, Malik, M, Jankovic, R, Palibrk, I, Maravic stojkovic, V, Malenkovic, V, Surbatovic, M, Bumbasirevic, V, Lim, N, Loh, T, Tan, H, Sekeresova, H, Koutun, J, Firment, J, Malik, P, Trenkler, S, Muzlovic, I, Kosec, L, Ozek, B, Kasnik, D, Tomic, V, Knafelj, R, Svigelj, V, Du Plessis, H, Raine, R, Bhagwanjee, S, Richards, G, Goosen, J, De Jager, J, Schleicher, G, Rubio, O, Mañez, R, Burgueño Campiñez, M, Alvarez, M, Jorda, R, Naveira Abeigón, E, Monedero, P, Alemparte Pardavila, E, Garcia del Valle, S, Perez Calvo, C, Palomar, M, Caballero Zirena, A, Arribas, M, Bustamante Munguira, E, Ruiz, J, Blanco Vicente, A, Zavala, E, Valencia, M, Blesa Malpica, A, Martinez Sagasti, F, Nieto, M, Aguilar, G, Martinon Torres, F, Lorente, C, Insausti, J, Vegas Pinto, R, Santos, I, Escriba, A, Olaechea, P, Muñoz, E, Antón Caraballo, E, Galdos Anuncibay, P, Lopez Camps, V, Esteban Reboll, F, Estella, A, Bocero, L, Ibañez, A, Yagüe, G, Pueyo, L, María Jesús, L, Iglesias Fraile, L, Silva, J, Garro, P, Palma, L, Ramos gómez, L, Rovira, A, Martin Delgado, M, Monton Dito, J, Garcia, F, Latour Perez, J, Albaya, A, Bustinza, A, Sole violán, J, Ugarte Peña, P, Yuste, I, De Rojas Román, J, Vallés, J, Esteban, E, Quintana Tort Martorell, E, Moreno, M, López Ciudad, V, Manzano Ramirez, A, Sánchez Olmedo, J, Borges, M, Amador Amerigo, J, Guerrero Gomez, F, Montejo González, J, Sirvent, J, Pujol, I, Mesalles Sanjuan, E, Barcenilla Gaite, F, Serrano, N, Cerdá, E, Lesmes Serrano, A, Garcia Fuentes, C, Macias Pingarrón, J, Espinosa, E, Sanchez Garcia, M, Felices, F, de la Torre Prados, M, Maria Jesus, H, Luis, V, Jara, R, Briones Lopez, M, Posada, P, Galvan, B, Mariscal, F, Rello, J, Gil, B, Sierra, R, Rico Feijoo, J, Izura, J, González, J, Soto Ibáñez, J, Agabani, H, Petersen, P, Johansson, L, Blomqvist, H, Peterzén, B, Wyon, N, Lindström, I, Paulsson, A, Agvald Ohman, C, Petersson, J, Friberg, H, Einar, V, Hammarskjöld, F, Schindele, M, Arvidsson, S, Sellgren, S, Hulting, J, Häggqvist, J, Rudenstam, J, Lind, D, Kokinsky, E, Owall, A, Jacobson, S, Stiernstrom, H, Nydahl, A, Eggimann, P, Stocker, R, Loderer, G, Loetscher, R, Heer, K, Zender, H, Cottini, S, Pagnamenta, A, Eich, G, Felleiter, P, Marco, M, Pugin, J, Shu Hui, W, Hsieh, K, Toomtong, P, Khwannimit, B, Kietdumrongwong, P, Khaldi, A, Messadi, A, Labbene, I, Frikha, N, Atalan, K, Ates, C, Kahveci, A, Ozgencil, E, Kizilkaya, M, Bosnak, M, Bodur, H, Akan, M, Guven, M, Turkoglu, M, Topeli, A, Togal, T, Uzel, N, Akinci, I, Cakar, N, Tugrul, S, Demirkiran, O, Adanir, T, Dogruer, K, Turkmen, A, Guven, H, Ulger, F, Kocak, S, Nalapko, Y, Rady, S, Alsabbah, A, Elahi, N, Al rahma, H, Rahman, M, Kashef, S, Cuthbertson, B, Gunning, K, Myint, Y, Bewley, J, Burnstein, R, Haji Michael, P, Wrathall, D, Folan, L, Nesbitt, I, Ratnaparkhi, A, Pambakian, S, Booth, M, Watters, M, Sherry, T, Buehner, U, Barrera Groba, C, Bothma, P, George, N, Frater, J, Hollos, L, Mclellan, S, Hunter, J, Garrioch, M, O'Keeffe, N, Divekar, N, Eggert, S, Smith, S, Vincent, A, Withington, P, Macmillan, C, Webster, R, Vuylsteke, A, Appadu, B, Barrera groba, C, Mcquillan, P, Blunt, M, Parekh, N, William, D, Jones, C, Krige, A, Schuster Bruce, M, Boyden, J, Boulanger, C, Swann, D, Walker, J, Wigmore, T, Law, R, Baldwin, F, Muench, C, Robinson, S, Crerar Gilbert, A, Rhodes, A, Mahambrey, T, Cameron, L, Thornton, J, Stotz, M, Russell, M, Longmate, A, Kitson, R, Browne, B, Thorniley, A, Gonzalez, I, Swart, M, Singer, M, Gautam, N, Prasad, V, Watson, D, Szakmany, T, Cardy, J, Binning, A, Loveland, R, Gannon, J, Martinelli, G, Nightingale, P, Howes, J, Steingrub, J, Ammons, L, Fisher, M, Gandhi, N, Martin, G, Deutschman, C, Dean, N, Michetti, C, Belzberg, H, Hutchinson, K, Van der kloot, T, Afessa, B, Kaufman, D, Iqbal, J, Ost, D, Afifi, S, West, M, Wunderink, R, Stein, S, Hagg, D, Jimenez, E, Blosser, S, Chhangani, S, Kleinpell, R, Reich, H, Fields, E, Willms, D, Castellanos Mateus, P, Melnik, L, Oud, L, Chi, E, Halfon, R, Badr, A, Restrepo, M, Pohlman, A, Branson, R, Simpson, S, Kett, D, Jacobs, T, Park, P, Wahl, W, Patricia, C, Hammersley, J, Papadimos, T, Sawyer, R, Freire, A, Rodriguez, W, Ryan, A, Margolis, B, Groth, M, Escanda, H, Baraibar, J, Paciel, D, Bagnulo, H, Hitta, F, Nadales, P, Albornoz, H, Salmen, Z, Pacheco, C, Bui, T, Potie, F, Nguyen Huu, C.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3659::114490233dcbf9046fbc6679628843e9
http://hdl.handle.net/11390/868162

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Detection of ostium secundum atrial septal defects by transoesophageal cross-sectional echocardiography.

Autor: Hanrath, P, Schlüter, M, Langenstein, B A, Polster, J, Engel, S, Kremer, P, Krebber, H J

Publikováno v: British Heart Journal; Apr1983, Vol. 49 Issue 4, p350-358, 9p, 7 Black and White Photographs, 1 Chart, 1 Graph