Ana Cavalli

From MaRDI portal
Person:413311

Available identifiers

zbMath Open cavalli.ana-rMaRDI QIDQ413311

List of research outcomes





PublicationDate of PublicationType
Tight bound on the length of distinguishing sequences for non-observable nondeterministic finite-state machines with a polynomial number of inputs and outputs2012-05-04Paper
Testing a probabilistic FSM using interval estimation2010-05-11Paper
Specification of Timed EFSM Fault Models in SDL2009-03-10Paper
Automated Technology for Verification and Analysis2006-10-10Paper
A passive testing approach based on invariants: application to the WAP2005-08-03Paper
https://portal.mardi4nfdi.de/entity/Q44370782003-12-07Paper
https://portal.mardi4nfdi.de/entity/Q44370722003-12-07Paper
https://portal.mardi4nfdi.de/entity/Q44125182003-07-15Paper
https://portal.mardi4nfdi.de/entity/Q33382121984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33418741984-01-01Paper

Research outcomes over time

This page was built for person: Ana Cavalli

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