Stately: An FSM Design Tool.
Paper i proceeding, 2020
Development tool
Finite state machines
Hardware design
Författare
Jeremy Pope
Chalmers, Data- och informationsteknik, Funktionell programmering
Jules Saget
Ecole Normale Superieure (ENS)
Carl-Johan Seger
Chalmers, Data- och informationsteknik, Funktionell programmering
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020
9315130
9781728191485 (ISBN)
Virtual, Jaipur, India,
Ämneskategorier
Inbäddad systemteknik
Datavetenskap (datalogi)
Datorsystem
DOI
10.1109/MEMOCODE51338.2020.9315130