Matches in SemOpenAlex for { <https://semopenalex.org/work/W1531390655> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1531390655 endingPage "380" @default.
- W1531390655 startingPage "366" @default.
- W1531390655 abstract "In the past few years two research groups of Politecnico di Milano, whose activities were centered on Formal Methods for the production of critical software and on industrial manufacturing systems, respectively, have carried out a joint research project that, among other things, aimed at introducing the use of formal methods in the design and analysis phases of industrial production systems (and especially of so-called Flexible Manufacturing Systems, FMSs) as a complementary tool to the ones used in the current practice of the field. This paper reports on the challenges that the research groups faced during the project, and on the lessons that have been learned in the process." @default.
- W1531390655 created "2016-06-24" @default.
- W1531390655 creator A5002217309 @default.
- W1531390655 creator A5002827409 @default.
- W1531390655 creator A5041690778 @default.
- W1531390655 creator A5057896873 @default.
- W1531390655 creator A5085267425 @default.
- W1531390655 creator A5088212295 @default.
- W1531390655 date "2007-09-11" @default.
- W1531390655 modified "2023-09-27" @default.
- W1531390655 title "FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems" @default.
- W1531390655 cites W1515131750 @default.
- W1531390655 cites W1552324253 @default.
- W1531390655 cites W1565972073 @default.
- W1531390655 cites W1590445759 @default.
- W1531390655 cites W1861333731 @default.
- W1531390655 cites W1965539666 @default.
- W1531390655 cites W1981998034 @default.
- W1531390655 cites W2023300248 @default.
- W1531390655 cites W2062663486 @default.
- W1531390655 cites W2077145903 @default.
- W1531390655 cites W2133629796 @default.
- W1531390655 cites W2182913774 @default.
- W1531390655 cites W2493363393 @default.
- W1531390655 cites W4246075700 @default.
- W1531390655 cites W1994952933 @default.
- W1531390655 doi "https://doi.org/10.1007/978-3-540-75292-9_25" @default.
- W1531390655 hasPublicationYear "2007" @default.
- W1531390655 type Work @default.
- W1531390655 sameAs 1531390655 @default.
- W1531390655 citedByCount "3" @default.
- W1531390655 countsByYear W15313906552014 @default.
- W1531390655 countsByYear W15313906552019 @default.
- W1531390655 crossrefType "book-chapter" @default.
- W1531390655 hasAuthorship W1531390655A5002217309 @default.
- W1531390655 hasAuthorship W1531390655A5002827409 @default.
- W1531390655 hasAuthorship W1531390655A5041690778 @default.
- W1531390655 hasAuthorship W1531390655A5057896873 @default.
- W1531390655 hasAuthorship W1531390655A5085267425 @default.
- W1531390655 hasAuthorship W1531390655A5088212295 @default.
- W1531390655 hasConcept C110354214 @default.
- W1531390655 hasConcept C111919701 @default.
- W1531390655 hasConcept C115903868 @default.
- W1531390655 hasConcept C117671659 @default.
- W1531390655 hasConcept C127413603 @default.
- W1531390655 hasConcept C139719470 @default.
- W1531390655 hasConcept C162324750 @default.
- W1531390655 hasConcept C199360897 @default.
- W1531390655 hasConcept C202444582 @default.
- W1531390655 hasConcept C2777904410 @default.
- W1531390655 hasConcept C2778348673 @default.
- W1531390655 hasConcept C33923547 @default.
- W1531390655 hasConcept C41008148 @default.
- W1531390655 hasConcept C75606506 @default.
- W1531390655 hasConcept C9652623 @default.
- W1531390655 hasConcept C98045186 @default.
- W1531390655 hasConceptScore W1531390655C110354214 @default.
- W1531390655 hasConceptScore W1531390655C111919701 @default.
- W1531390655 hasConceptScore W1531390655C115903868 @default.
- W1531390655 hasConceptScore W1531390655C117671659 @default.
- W1531390655 hasConceptScore W1531390655C127413603 @default.
- W1531390655 hasConceptScore W1531390655C139719470 @default.
- W1531390655 hasConceptScore W1531390655C162324750 @default.
- W1531390655 hasConceptScore W1531390655C199360897 @default.
- W1531390655 hasConceptScore W1531390655C202444582 @default.
- W1531390655 hasConceptScore W1531390655C2777904410 @default.
- W1531390655 hasConceptScore W1531390655C2778348673 @default.
- W1531390655 hasConceptScore W1531390655C33923547 @default.
- W1531390655 hasConceptScore W1531390655C41008148 @default.
- W1531390655 hasConceptScore W1531390655C75606506 @default.
- W1531390655 hasConceptScore W1531390655C9652623 @default.
- W1531390655 hasConceptScore W1531390655C98045186 @default.
- W1531390655 hasLocation W15313906551 @default.
- W1531390655 hasOpenAccess W1531390655 @default.
- W1531390655 hasPrimaryLocation W15313906551 @default.
- W1531390655 hasRelatedWork W2042217239 @default.
- W1531390655 hasRelatedWork W2080431349 @default.
- W1531390655 hasRelatedWork W2160369944 @default.
- W1531390655 hasRelatedWork W219051881 @default.
- W1531390655 hasRelatedWork W2377502971 @default.
- W1531390655 hasRelatedWork W2401770164 @default.
- W1531390655 hasRelatedWork W2800838505 @default.
- W1531390655 hasRelatedWork W2994206354 @default.
- W1531390655 hasRelatedWork W4295669232 @default.
- W1531390655 hasRelatedWork W841713778 @default.
- W1531390655 isParatext "false" @default.
- W1531390655 isRetracted "false" @default.
- W1531390655 magId "1531390655" @default.
- W1531390655 workType "book-chapter" @default.