De nouvelles réductions colorées pour la validation de logiciels
Date
2004Dewey
Programmation, logiciels, organisation des donnéesSujet
Software Validation; Reductions; High-level Petri netsJournal issue
e-STAVolume
3Publication date
2004Publisher
Société de l'électricité, de l'électronique et des technologies de l'information et de la communicationCollections
Metadata
Show full item recordAuthor
Evangelista, Sami
Haddad, Serge
Pradat-Peyre, Jean-François