المؤلفون: Compare, Debora, Gwee, Kok-Ann, Nardone, Gerardo

المصدر: Colonic Diverticular Disease ; page 129-141 ; ISBN 9783030937607 9783030937614

الإتاحة: https://doi.org/10.1007/978-3-030-93761-4_12Test

المؤلفون: Capogna, Giorgio, Ingrassia, Pier Luigi, Capogna, Emanuele, Bernardini, Michela, Valteroni, Elisa, Pietrabissa, Giada, Nardone, Giorgio

المصدر: Strategic Debriefing for Advanced Simulation ; page 27-41 ; ISBN 9783031061035 9783031061042

الإتاحة: https://doi.org/10.1007/978-3-031-06104-2_2Test

المؤلفون: Capogna, Giorgio, Ingrassia, Pier Luigi, Capogna, Emanuele, Bernardini, Michela, Valteroni, Elisa, Pietrabissa, Giada, Nardone, Giorgio

المصدر: Strategic Debriefing for Advanced Simulation ; page 55-68 ; ISBN 9783031061035 9783031061042

الإتاحة: https://doi.org/10.1007/978-3-031-06104-2_4Test

المؤلفون: Capogna, Giorgio, Ingrassia, Pier Luigi, Capogna, Emanuele, Bernardini, Michela, Valteroni, Elisa, Pietrabissa, Giada, Nardone, Giorgio

المصدر: Strategic Debriefing for Advanced Simulation ; page 69-101 ; ISBN 9783031061035 9783031061042

الإتاحة: https://doi.org/10.1007/978-3-031-06104-2_5Test

المؤلفون: Capogna, Giorgio, Ingrassia, Pier Luigi, Capogna, Emanuele, Bernardini, Michela, Valteroni, Elisa, Pietrabissa, Giada, Nardone, Giorgio

المصدر: Strategic Debriefing for Advanced Simulation ; page 43-53 ; ISBN 9783031061035 9783031061042

الإتاحة: https://doi.org/10.1007/978-3-031-06104-2_3Test

المؤلفون: Capogna, Giorgio, Ingrassia, Pier Luigi, Capogna, Emanuele, Bernardini, Michela, Valteroni, Elisa, Pietrabissa, Giada, Nardone, Giorgio

المصدر: Strategic Debriefing for Advanced Simulation ; page 1-26 ; ISBN 9783031061035 9783031061042

الإتاحة: https://doi.org/10.1007/978-3-031-06104-2_1Test

المؤلفون: Capogna, Giorgio, Ingrassia, Pier Luigi, Capogna, Emanuele, Bernardini, Michela, Valteroni, Elisa, Pietrabissa, Giada, Nardone, Giorgio

المصدر: ISBN 9783031061035 9783031061042.

الإتاحة: https://doi.org/10.1007/978-3-031-06104-2Test

المؤلفون: Amato, Flora, Di Martino, Sergio, Mazzocca, Nicola, Nardone, Davide, di Torrepadula, Franca Rocco, Sannino, Paolo

المصدر: Web and Wireless Geographical Information Systems ; Lecture Notes in Computer Science ; page 93-107 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031062445 9783031062452

الإتاحة: https://doi.org/10.1007/978-3-031-06245-2_9Test

المؤلفون: Ferla, Maurizio, Nardone, Gabriele, Orasi, Arianna, Picone, Marco, Falco, Pierpaolo, Zambianchi, Enrico

المصدر: Measurement for the Sea ; Springer Series in Measurement Science and Technology ; page 211-235 ; ISSN 2198-7807 2198-7815 ; ISBN 9783030820237 9783030820244

الإتاحة: https://doi.org/10.1007/978-3-030-82024-4_9Test

المؤلفون: Massimo Benerecetti, Ugo Gentile, Roberto Nardone, Adriano Peron, Luigi Libero Lucio Starace, Valeria Vittorini, Stefano Marrone

المساهمون: Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini, Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Benerecetti, Massimo, Gentile, Ugo, Nardone, Roberto, Peron, Adriano, Starace, LUIGI LIBERO LUCIO, Vittorini, Valeria, Marrone, Stefano

مصطلحات موضوعية: Dynamic State Machines, Model Checking, Model Driven, Promela, Spin, Test Case Generation, Transformation

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-30923-7; ispartofbook:Model Checking Software; volume:11636; firstpage:56; lastpage:73; numberofpages:18; serie:THEORETICAL COMPUTER SCIENCE AND GENERAL ISSUES; alleditors:Fabrizio Biondi, Thomas Given-Wilson, Axel Legay; http://hdl.handle.net/11588/775734Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85075554658

الإتاحة: https://doi.org/10.1007/978-3-030-30923-7_4Test
http://hdl.handle.net/11588/775734Test