Formalizing a behavioral specification language for correct transformational design

Thumbnail
View/open
Metadata
Show full item record
Authors
Angelo, Catia Marcondes; Claesen, Luc
Conference
Proceedings XI Conference of the Brazilian Microelectronics Society - SBμ
Title
Formalizing a behavioral specification language for correct transformational design
Publication type
Proceedings paper
Embargo date
9999-12-31
Collections