Olivier H. Roux – författare
Visar alla böcker från författaren Olivier H. Roux. Handla med fri frakt och snabb leverans.
5 produkter
Communicating Embedded Systems
Software and Design
Av Olivier H. Roux, Claude Jard
E-bok, 2013
2216 kr
Lägg i varukorg
The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a …
Communicating Embedded Systems
Software and Design
Av Olivier H. Roux, Claude Jard
E-bok, 2013
2216 kr
Lägg i varukorg
The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a …
Communicating Embedded Systems
Software and Design
Av Claude Jard, Olivier H. Roux
Inbunden, 2009
1988 kr
Lägg i varukorg
The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a …
Application and Theory of Petri Nets and Concurrency
39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Av Victor Khomenko, Olivier H. Roux
Häftad, 2018
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in Bratislava, Slovakia, in June 2018. Petri Nets 2017 is co-located with the 19th International Conference on Application of Concurrency to …
Application and Theory of Petri Nets and Concurrency
39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Av Olivier H. Roux, Victor Khomenko
E-bok, 2018
734 kr
Lägg i varukorg
This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in Bratislava, Slovakia, in June 2018. Petri Nets 2017 is co-located with the 19 th International Conference on Application of Concurrency to …
