Vote for your favorite mineral in #MinCup25! - Carpathite vs. Tugtupite
Battle of mineralogical oddities as organic mineral #carpathite battles against vs #tugtupite, a mineral that looks like reindeer blood!
Log InRegister
Quick Links : The Mindat ManualThe Rock H. Currier Digital LibraryMindat Newsletter [Free Download]
Home PageAbout MindatThe Mindat ManualHistory of MindatCopyright StatusWho We AreContact UsAdvertise on Mindat
Donate to MindatCorporate SponsorshipSponsor a PageSponsored PagesMindat AdvertisersAdvertise on Mindat
Learning CenterWhat is a mineral?The most common minerals on earthInformation for EducatorsMindat ArticlesThe ElementsThe Rock H. Currier Digital LibraryGeologic Time
Minerals by PropertiesMinerals by ChemistryAdvanced Locality SearchRandom MineralRandom LocalitySearch by minIDLocalities Near MeSearch ArticlesSearch GlossaryMore Search Options
Search For:
Mineral Name:
Locality Name:
Keyword(s):
 
The Mindat ManualAdd a New PhotoRate PhotosLocality Edit ReportCoordinate Completion ReportAdd Glossary Item
Mining CompaniesStatisticsUsersMineral MuseumsClubs & OrganizationsMineral Shows & EventsThe Mindat DirectoryDevice SettingsThe Mineral Quiz
Photo SearchPhoto GalleriesSearch by ColorNew Photos TodayNew Photos YesterdayMembers' Photo GalleriesPast Photo of the Day GalleryPhotography

Ferrari, Alessio, Fantechi, Alessandro, Gnesi, Stefania, Magnani, Gianluca (2013) Model-Based Development and Formal Methods in the Railway Industry. IEEE Software, 30 (3) 28-34 doi:10.1109/ms.2013.44

Advanced
   -   Only viewable:
Reference TypeJournal (article/letter/editorial)
TitleModel-Based Development and Formal Methods in the Railway Industry
JournalIEEE Software
AuthorsFerrari, AlessioAuthor
Fantechi, AlessandroAuthor
Gnesi, StefaniaAuthor
Magnani, GianlucaAuthor
Year2013 (May)Volume30
Issue3
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
DOIdoi:10.1109/ms.2013.44Search in ResearchGate
Generate Citation Formats
Mindat Ref. ID15422618Long-form Identifiermindat:1:5:15422618:3
GUID0
Full ReferenceFerrari, Alessio, Fantechi, Alessandro, Gnesi, Stefania, Magnani, Gianluca (2013) Model-Based Development and Formal Methods in the Railway Industry. IEEE Software, 30 (3) 28-34 doi:10.1109/ms.2013.44
Plain TextFerrari, Alessio, Fantechi, Alessandro, Gnesi, Stefania, Magnani, Gianluca (2013) Model-Based Development and Formal Methods in the Railway Industry. IEEE Software, 30 (3) 28-34 doi:10.1109/ms.2013.44
In(2013, May) IEEE Software Vol. 30 (3) Institute of Electrical and Electronics Engineers (IEEE)

See Also

These are possibly similar items as determined by title/reference text matching only.

Ferrari, Alessio, Dell'Orletta, Felice, Esuli, Andrea, Gervasi, Vincenzo, Gnesi, Stefania (2017) Natural Language Requirements Processing: A 4D Vision. IEEE Software, 34 (6) 28-35 doi:10.1109/ms.2017.4121207
Ferrari, Alessio, Fantechi, Alessandro, Magnani, Gianluca, Grasso, Daniele, Tempestini, Matteo (2013) The Metrô Rio case study. Science of Computer Programming, 78. 828-842 doi:10.1016/j.scico.2012.04.003
Obrenovic, Zeljko (2013) Software Sketchifying: Bringing Innovation into Software Development. IEEE Software, 30 (3) 80-86 doi:10.1109/ms.2012.71
Popp, Karl Michael (2011) Software Industry Business Models. IEEE Software, 28 (4) 26-30 doi:10.1109/ms.2011.52
(2013) Digital IEEE Software Advertisement. IEEE Software, 30 (3) 8 doi:10.1109/ms.2013.50
Spinellis, Diomidis (2013) The Frictionless Development Environment Scorecard. IEEE Software, 30 (6) 30-32 doi:10.1109/ms.2013.134
Morin, Brice, Harrand, Nicolas, Fleurey, Franck (2017) Model-Based Software Engineering to Tame the IoT Jungle. IEEE Software, 34 (1) 30-36 doi:10.1109/ms.2017.11
(2013) Front Cover. IEEE Software, 30 (3) doi:10.1109/ms.2013.51
Simmons, E. (2006) The usage model: describing product usage during design and development. IEEE Software, 23 (3) 34-41 doi:10.1109/ms.2006.87
ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania, Mazzanti, Franco (2011) A state/event-based model-checking approach for the analysis of abstract system properties. Science of Computer Programming, 76. 119-135 doi:10.1016/j.scico.2010.07.002
Spinellis, Diomidis (2013) Systems Software. IEEE Software, 30 (3) 18-19 doi:10.1109/ms.2013.61
 
and/or  
Mindat.org is an outreach project of the Hudson Institute of Mineralogy, a 501(c)(3) not-for-profit organization.
Copyright © mindat.org and the Hudson Institute of Mineralogy 1993-2025, except where stated. Most political location boundaries are © OpenStreetMap contributors. Mindat.org relies on the contributions of thousands of members and supporters. Founded in 2000 by Jolyon Ralph.
To cite: Ralph, J., Von Bargen, D., Martynov, P., Zhang, J., Que, X., Prabhu, A., Morrison, S. M., Li, W., Chen, W., & Ma, X. (2025). Mindat.org: The open access mineralogy database to accelerate data-intensive geoscience research. American Mineralogist, 110(6), 833–844. doi:10.2138/am-2024-9486.
Privacy Policy - Terms & Conditions - Contact Us / DMCA issues - Report a bug/vulnerability Current server date and time: September 20, 2025 19:50:57
Go to top of page