Pubblicazioni il cui periodico è "INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER"

Livello precedente
Esporta come [feed] Atom [feed] DataCiteXML [feed] RSS 1.0 [feed] RSS 2.0
Numero di pubblicazioni : 6.

Articolo di rivista Quer S. (2014)
Model checking evaluation of airplane landing trajectories. In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 16, pp. 753-773. - ISSN 1433-2779 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo di rivista Marco Torchiano, Filippo Ricca, Alessandro Marchetto (2011)
Are Web applications more defect-prone than Desktop applications? In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 13 (2), pp. 151-166. - ISSN 1433-2779
Scopus: 1

Articolo di rivista G. Cabodi; Nocco S.; S. Quer (2005)
Are BDDs Still Alive within Sequential Verification? In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 7, pp. 129-142. - ISSN 1433-2779
Scopus: 2

Articolo di rivista G. Cabodi; A. Kondratiev; L. Lavagno; Nocco S.; S. Quer; Y. Watanabe (2005)
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems. In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 7, pp. 102-117. - ISSN 1433-2779
Scopus: 7

Articolo di rivista Baldini A; Benso A; Prinetto P. (2004)
System Level Functional Testing from UML Specifications in End-Of-Production Industrial Environments. In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 7 n. 4, pp. 326-340. - ISSN 1433-2779 [Disponibilità ristretta]
Scopus: 2
[img]

Articolo di rivista Cabodi, Gianpiero; Camurati, Paolo; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking. In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. - ISSN 1433-2779 (In stampa)
Scopus: 0

Questa lista è stata generata il Fri Nov 17 08:01:22 2017 CET.