State charts

Book •
Author
David Harel

Mentioned by

undefined
 Alberto Sangiovanni Vincentelli

Mentioned in 0 episodes

Mentioned by
undefined
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

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
 Get the app