Angelo Gargantini

From MaRDI portal
Person:616855

Available identifiers

zbMath Open gargantini.angeloMaRDI QIDQ616855

List of research outcomes





PublicationDate of PublicationType
Repairing timed automata clock guards through abstraction and testing2024-04-05Paper
The ASMETA approach to safety assurance of software systems2022-03-22Paper
A formal logic approach to constrained combinatorial testing2011-01-12Paper
On the order of test goals in specification-based testing2009-07-29Paper
A Logic-Based Approach to Combinatorial Testing with Constraints2008-04-24Paper
Using Model Checking to Generate Fault Detecting Tests2007-10-31Paper
https://portal.mardi4nfdi.de/entity/Q44178392003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44136842003-07-21Paper
Dealing with zero-time transitions in axiom systems.2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q27537152001-11-11Paper
A theory of implementation and refinement in timed Petri nets1998-08-13Paper

Research outcomes over time



This page was built for person: Angelo Gargantini

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