Elvinia Riccobene

From MaRDI portal
Person:315282

Available identifiers

zbMath Open riccobene.elviniaDBLP60/2903WikidataQ60647596 ScholiaQ60647596MaRDI QIDQ315282

List of research outcomes





PublicationDate of PublicationType
The ASMETA approach to safety assurance of software systems2022-03-22Paper
ASM-based formal design of an adaptivity component for a cloud system2016-09-20Paper
https://portal.mardi4nfdi.de/entity/Q44178392003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44136892003-07-21Paper
https://portal.mardi4nfdi.de/entity/Q44136842003-07-21Paper
https://portal.mardi4nfdi.de/entity/Q44136812003-07-21Paper
Proving invariants of I/O automata with TAME2003-02-17Paper
https://portal.mardi4nfdi.de/entity/Q27671822002-01-28Paper
https://portal.mardi4nfdi.de/entity/Q27537102002-01-06Paper
https://portal.mardi4nfdi.de/entity/Q27537152001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q45205352001-02-26Paper
https://portal.mardi4nfdi.de/entity/Q48787751996-05-14Paper
https://portal.mardi4nfdi.de/entity/Q42882821995-01-02Paper

Research outcomes over time

This page was built for person: Elvinia Riccobene

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:315282&oldid=7794949"
Powered by MediaWiki