Get the app
State charts
Book •
Author
David Harel
Mentioned by
View all
Alberto Sangiovanni Vincentelli
Mentioned in 0 episodes
format_quote
Mentioned by
Alberto Sangiovanni Vincentelli
in the context of contracts for software design.
ep22 - Alberto Sangiovanni Vincentelli, Part II: Cyberphysical and hybrid systems, Contracts, Chiplets, Models of computation, Time, Innovative Ecosystems, BioBricks, Neuromorphics
chevron_right
View more
The AI-powered Podcast Player
Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
Get the app
