-
1كتاب
المؤلفون: 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
-
2كتاب
المؤلفون: NARDONE, ROBERTO, GENTILE, UGO, BENERECETTI, MASSIMO, PERON, ADRIANO, VITTORINI, VALERIA, MAZZOCCA, NICOLA, Marrone, Stefano
المساهمون: Roberto Nardone , Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca, Cyrille Artho, Peter Csaba Ölveczky, Nardone, Roberto, Gentile, Ugo, Benerecetti, Massimo, Peron, Adriano, Vittorini, Valeria, Marrone, Stefano, Mazzocca, Nicola
مصطلحات موضوعية: CRYSTAL, Dynamic state machine, Model checking, Promela, Railway control system, SPIN, Test case generation, Computer Science (all)
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9783319295091; info:eu-repo/semantics/altIdentifier/wos/WOS:000371403600007; ispartofbook:Communications in Computer and Information Science; volume:596; firstpage:121; lastpage:136; numberofpages:16; alleditors:Cyrille Artho, Peter Csaba Ölveczky; http://hdl.handle.net/11588/631288Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84959016679; http://www.springer.com/series/7899Test
الإتاحة: https://doi.org/10.1007/978-3-319-29510-7_7Test
http://hdl.handle.net/11588/631288Test
http://www.springer.com/series/7899Test -
3كتاب
المؤلفون: Canonico R., Marrone S., Nardone R., Vittorini V.
المساهمون: Lecomte T. Romanovsky A. Fantechi A., Canonico, R., Marrone, S., Nardone, R., Vittorini, V.
مصطلحات موضوعية: 5G network, ERTMS/ETCS, Model checking, Model transformation, Network emulation
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-319-68498-7; ispartofbook:Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; volume:LNCS, volume 10598; firstpage:34; lastpage:50; numberofpages:17; alleditors:Lecomte T. Romanovsky A. Fantechi A.; http://hdl.handle.net/11367/99059Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85034212408; https://link.springer.com/chapter/10.1007/978-3-319-68499-4_3Test
-
4كتاب
المؤلفون: Canonico R., Marrone S., Nardone R., Vittorini V.
المساهمون: Lecomte T., Romanovsky A., Fantechi A., Canonico, R., Marrone, S., Nardone, R., Vittorini, V.
مصطلحات موضوعية: 5G networks, ERTMS/ETCS, Model checking, Model transformation, Network emulation
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-319-68498-7; ispartofbook:Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; volume:LNCS, volume 10598; firstpage:34; lastpage:50; numberofpages:17; serie:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Lecomte T., Romanovsky A., Fantechi A.; http://hdl.handle.net/11588/705612Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85034212408; https://link.springer.com/chapter/10.1007/978-3-319-68499-4_3Test
-
5كتاب
المؤلفون: Canonico R., Marrone S., Nardone R., Vittorini V.
المساهمون: Lecomte T., Romanovsky A., Fantechi A., Canonico, R., Marrone, S., Nardone, R., Vittorini, V.
مصطلحات موضوعية: 5G networks, ERTMS/ETCS, Model checking, Model transformation, Network emulation, info, archi
-
6كتاب
المؤلفون: NARDONE, ROBERTO, GENTILE, UGO, BENERECETTI, MASSIMO, PERON, ADRIANO, VITTORINI, VALERIA, Marrone, Stefano, MAZZOCCA, NICOLA
المساهمون: Cyrille Artho Peter Csaba Ölveczky, Nardone, Roberto, Gentile, Ugo, Benerecetti, Massimo, Peron, Adriano, Vittorini, Valeria, Marrone, Stefano, Mazzocca, Nicola
مصطلحات موضوعية: CRYSTAL, Dynamic state machine, Model checking, Promela, Railway control system, SPIN, Test case generation, Computer Science (all)
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9783319295091; info:eu-repo/semantics/altIdentifier/wos/WOS:000371403600007; ispartofbook:Communications in Computer and Information Science; volume:596; firstpage:121; lastpage:136; numberofpages:16; alleditors:Cyrille Artho Peter Csaba Ölveczky; http://hdl.handle.net/11368/3029586Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84959016679; http://www.springer.com/series/7899Test
الإتاحة: https://doi.org/10.1007/978-3-319-29510-7_7Test
http://hdl.handle.net/11368/3029586Test
http://www.springer.com/series/7899Test -
7كتاب
المؤلفون: NARDONE, ROBERTO, GENTILE, UGO, BENERECETTI, MASSIMO, PERON, ADRIANO, VITTORINI, VALERIA, Marrone, Stefano, MAZZOCCA, NICOLA
المساهمون: Cyrille Artho Peter Csaba Ölveczky, Nardone, Roberto, Gentile, Ugo, Benerecetti, Massimo, Peron, Adriano, Vittorini, Valeria, Marrone, Stefano, Mazzocca, Nicola
مصطلحات موضوعية: CRYSTAL, Dynamic state machine, Model checking, Promela, Railway control system, SPIN, Test case generation, Computer Science (all)
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9783319295091; info:eu-repo/semantics/altIdentifier/wos/WOS:000371403600007; ispartofbook:Communications in Computer and Information Science; volume:596; firstpage:121; lastpage:136; numberofpages:16; alleditors:Cyrille Artho Peter Csaba Ölveczky; http://hdl.handle.net/11367/99049Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84959016679; http://www.springer.com/series/7899Test
الإتاحة: https://doi.org/10.1007/978-3-319-29510-7_7Test
http://hdl.handle.net/11367/99049Test
http://www.springer.com/series/7899Test