المؤلفون: Nardone, Roberto, Gentile, Ugo, Benerecetti, Massimo, Peron, Adriano, Vittorini, Valeria, Mazzocca, Nicola, MARRONE, Stefano

المساهمون: aa.vv., Olveczky P.C.,Artho C., 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; 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015; volume:596; firstpage:121; lastpage:136; numberofpages:16; journal:COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE; alleditors:Olveczky P.C.,Artho C.; http://hdl.handle.net/11591/365033Test; 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/11591/365033Test
http://www.springer.com/series/7899Test

المؤلفون: NARDONE, ROBERTO, GENTILE, UGO, PERON, ADRIANO, BENERECETTI, MASSIMO, VITTORINI, VALERIA, Marrone, Stefano, De Guglielmo, Renato, MAZZOCCA, NICOLA, Velardi, Luigi

المساهمون: Cyrille Artho Peter Csaba Ölveczky, Nardone, Roberto, Gentile, Ugo, Peron, Adriano, Benerecetti, Massimo, Vittorini, Valeria, Marrone, Stefano, De Guglielmo, Renato, Mazzocca, Nicola, Velardi, Luigi

مصطلحات موضوعية: CRYSTAL, Dynamic instantiation, Metamodel, Model driven, Railway control system, State machine, System testing, Computer Science (all)

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9783319175805; info:eu-repo/semantics/altIdentifier/wos/WOS:000368430500007; ispartofbook:Communications in Computer and Information Science; 3rd International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014; volume:476; firstpage:93; lastpage:109; numberofpages:17; alleditors:Cyrille Artho Peter Csaba Ölveczky; http://hdl.handle.net/11368/3029581Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84929616722; http://www.springer.com/series/7899Test

الإتاحة: https://doi.org/10.1007/978-3-319-17581-2_7Test
http://hdl.handle.net/11368/3029581Test
http://www.springer.com/series/7899Test

المؤلفون: NARDONE, ROBERTO, GENTILE, UGO, PERON, ADRIANO, BENERECETTI, MASSIMO, VITTORINI, VALERIA, Marrone, Stefano, De Guglielmo, Renato, MAZZOCCA, NICOLA, Velardi, Luigi

المساهمون: Cyrille Artho, Peter Csaba Ölveczky, Nardone, Roberto, Gentile, Ugo, Peron, Adriano, Benerecetti, Massimo, Vittorini, Valeria, Marrone, Stefano, De Guglielmo, Renato, Mazzocca, Nicola, Velardi, Luigi

مصطلحات موضوعية: CRYSTAL, Dynamic instantiation, Metamodel, Model driven, Railway control system, State machine, System testing, Computer Science (all)

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9783319175805; info:eu-repo/semantics/altIdentifier/wos/WOS:000368430500007; ispartofbook:Communications in Computer and Information Science; 3rd International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014; volume:476; firstpage:93; lastpage:109; numberofpages:17; journal:COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE; alleditors:Cyrille Artho, Peter Csaba Ölveczky; http://hdl.handle.net/11588/619800Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84929616722; http://www.springer.com/series/7899Test

الإتاحة: https://doi.org/10.1007/978-3-319-17581-2_7Test
http://hdl.handle.net/11588/619800Test
http://www.springer.com/series/7899Test

المؤلفون: Nardone, Roberto, Gentile, Ugo, Peron, Adriano, Benerecetti, Massimo, Vittorini, Valeria, De Guglielmo, Renato, Mazzocca, Nicola, Velardi, Luigi, MARRONE, Stefano

المساهمون: AA.VV., Artho C.,Olveczky P.C., Nardone, Roberto, Gentile, Ugo, Peron, Adriano, Benerecetti, Massimo, Vittorini, Valeria, Marrone, Stefano, De Guglielmo, Renato, Mazzocca, Nicola, Velardi, Luigi

مصطلحات موضوعية: CRYSTAL, Dynamic instantiation, Metamodel, Model driven, Railway control system, State machine, System testing, Computer Science (all)

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9783319175805; info:eu-repo/semantics/altIdentifier/wos/WOS:000368430500007; ispartofbook:Communications in Computer and Information Science; 3rd International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014; volume:476; firstpage:93; lastpage:109; numberofpages:17; journal:COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE; alleditors:Artho C.,Olveczky P.C.; http://hdl.handle.net/11591/365131Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84929616722; http://www.springer.com/series/7899Test

الإتاحة: https://doi.org/10.1007/978-3-319-17581-2_7Test
http://hdl.handle.net/11591/365131Test
http://www.springer.com/series/7899Test

المؤلفون: NARDONE, ROBERTO, GENTILE, UGO, PERON, ADRIANO, BENERECETTI, MASSIMO, VITTORINI, VALERIA, Marrone, Stefano, De Guglielmo, Renato, MAZZOCCA, NICOLA, Velardi, Luigi

المساهمون: Cyrille Artho Peter Csaba Ölveczky, Nardone, Roberto, Gentile, Ugo, Peron, Adriano, Benerecetti, Massimo, Vittorini, Valeria, Marrone, Stefano, De Guglielmo, Renato, Mazzocca, Nicola, Velardi, Luigi

مصطلحات موضوعية: CRYSTAL, Dynamic instantiation, Metamodel, Model driven, Railway control system, State machine, System testing, Computer Science (all)

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9783319175805; info:eu-repo/semantics/altIdentifier/wos/WOS:000368430500007; ispartofbook:Communications in Computer and Information Science; 3rd International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014; volume:476; firstpage:93; lastpage:109; numberofpages:17; alleditors:Cyrille Artho Peter Csaba Ölveczky; http://hdl.handle.net/11367/99054Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84929616722; http://www.springer.com/series/7899Test

الإتاحة: https://doi.org/10.1007/978-3-319-17581-2_7Test
http://hdl.handle.net/11367/99054Test
http://www.springer.com/series/7899Test