The Role of Formal Methods in Software Procurement for the Railway Transportation Industry (Contributo in atti di convegno)

Type

• Prodotto della ricerca (Classe)
• Contributo in atti di convegno (Classe)

Label

• The Role of Formal Methods in Software Procurement for the Railway Transportation Industry (Contributo in atti di convegno) (literal)

Anno

• 2003-01-01T00:00:00+01:00 (literal)

Alternative label

• A. Morzenti, M. Pradella, P. San Pietro (2003)
  The Role of Formal Methods in Software Procurement for the Railway Transportation Industry
  in FORMS 2003 (on Formal Methods for Railway Operation and Control Systems), Budapest
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• A. Morzenti, M. Pradella, P. San Pietro (literal)

Note

• ISI Web of Science (WOS) (literal)

Titolo

• The Role of Formal Methods in Software Procurement for the Railway Transportation Industry (literal)

Prodotto di

• Institute of Electronics, Computer and Telecommunication Engineering (IEIIT) (Istituto)

Autore CNR

• MATTEO PRADELLA (Unità di personale interno)

Incoming links:

Prodotto

• Institute of Electronics, Computer and Telecommunication Engineering (IEIIT) (Istituto)

Autore CNR di

• MATTEO PRADELLA (Unità di personale interno)