Elvinia Riccobene

MaRDI QIDQ315282zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The ASMETA approach to safety assurance of software systems	2022-03-22	Paper
ASM-based formal design of an adaptivity component for a cloud system Formal Aspects of Computing	2016-09-20	Paper
scientific article; zbMATH DE number 1956495 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1951199 (Why is no real title available?)	2003-07-21	Paper
scientific article; zbMATH DE number 1951195 (Why is no real title available?)	2003-07-21	Paper
scientific article; zbMATH DE number 1951193 (Why is no real title available?)	2003-07-21	Paper
Proving invariants of I/O automata with TAME Automated Software Engineering	2003-02-17	Paper
scientific article; zbMATH DE number 1696896 (Why is no real title available?)	2002-01-28	Paper
scientific article; zbMATH DE number 1670514 (Why is no real title available?)	2002-01-06	Paper
scientific article; zbMATH DE number 1670518 (Why is no real title available?)	2001-11-11	Paper
scientific article; zbMATH DE number 1543079 (Why is no real title available?)	2001-02-26	Paper
scientific article; zbMATH DE number 879006 (Why is no real title available?)	1996-05-14	Paper
scientific article; zbMATH DE number 554480 (Why is no real title available?)	1995-01-02	Paper

Research outcomes over time

This page was built for person: Elvinia Riccobene