FM for FMS, \"Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems\" (Articolo in rivista)

Type

• Articolo in rivista (Classe)
• Prodotto della ricerca (Classe)

Label

• FM for FMS, \"Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems\" (Articolo in rivista) (literal)

Anno

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

Alternative label

• A. Matta, M. Rossi, P. Spoletini, D. Mandrioli, Q. Semeraro, T. Tolio (2007)
  FM for FMS, "Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems"
  in Lecture notes in computer science
  (literal)

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

• A. Matta, M. Rossi, P. Spoletini, D. Mandrioli, Q. Semeraro, T. Tolio (literal)

Pagina inizio

• 366 (literal)

Pagina fine

• 380 (literal)

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

• 4711 (literal)

Rivista

• Lecture notes in computer science (Rivista)

Note

• ISI Web of Science (WOS) (literal)

Titolo

• FM for FMS, \"Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems\" (literal)

Prodotto di

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

Autore CNR

• DINO MANDRIOLI (Persona)

Incoming links:

Prodotto

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

Autore CNR di

• DINO MANDRIOLI (Persona)

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

• Lecture notes in computer science (Rivista)