Wired - a Language for Describing Non-Functional Properties of Digital Circuits
Övrigt konferensbidrag, 2004
Författare
Emil Axelsson
Chalmers, Institutionen för datavetenskap, Formella metoder
Mary Sheeran
Chalmers, Institutionen för datavetenskap, Formella metoder
Koen Lindström Claessen
Chalmers, Institutionen för datavetenskap, Formella metoder
Proceedings of International Workshop on Designing Correct Circuits. Barcelona, Spain, March 2004
Ämneskategorier
Datorteknik
Programvaruteknik
Styrkeområden
Informations- och kommunikationsteknik