Advances in Petri Nets
De som köpt den här boken har ofta också köpt Co-Intelligence av Ethan Mollick (häftad).
Köp båda 2 för 950 krFormal Models.- Composing Snippets.- A Programming Approach to the Design of Asynchronous Logic Blocks.- Asynchronous Circuits.- GALA (Globally Asynchronous Locally Arbitrary) Design.- Synthesis of Reactive Systems: Application to Asynchronous Circuit Design.- Decomposition in Asynchronous Circuit Design.- Embedded System Design.- Functional and Performance Modeling of Concurrency in VCC.- Modeling and Designing Heterogeneous Systems.- Timed Verification and Performance Analysis.- Timed Verification of Asynchronous Circuits.- Performance Analysis of Asynchronous Circuits Using Markov Chains.