A symbolic core approach to the formal verification of integrated mixed-mode applications

Thumbnail
View/open
Metadata
Show full item record
Authors
Hendricx, Stefan; Claesen, Luc
Conference
European Design & Test Conference - ED&TC
Title
A symbolic core approach to the formal verification of integrated mixed-mode applications
Publication type
Proceedings paper
Embargo date
9999-12-31
Collections