Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Marco Pensallorto"'
Autor:
Marco Pensallorto, Stefano Tonetta, Sergio Mover, Roberto Cavada, Cristian Mattarei, Alessandro Mariotti, Andrea Micheli, Alessandro Cimatti, Angelo Susi, Marco Roveri
Publikováno v:
ASE
We present the EuRailCheck tool, which supports the formalization and the validation of requirements, based on the use of formal methods. The tool allows the user to analyze the requirements in natural language and to categorize and structure them. I
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d886580ac45ee13d9559f121e35dfedd
https://doi.org/10.1109/ase.2009.49
https://doi.org/10.1109/ase.2009.49
