Panel: Complex System Verification: The Challenge Ahead

Open Webpage

Ronald Collett, Mike Gianfagna, Michel Courtoy, Martin Baynes, Johan Van Ginderdeuren, Kenneth L. McMillan, Stephen Ricca, Alberto L. Sangiovanni-Vincentelli, Steve Sapiro, Naeem Zafar

Published: 1994, Last Modified: 05 Nov 2025DAC 1994EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: No abstract available.