Application and Theory of Petri Nets and Concurrency Fabrice Kordon & Daniel Moldt의 도서 더 보기

Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
2019년
Distibuted Systems Distibuted Systems
2013년
TOOLympics Challenge 2023 TOOLympics Challenge 2023
2024년
Transactions on Petri Nets and Other Models of Concurrency XVI Transactions on Petri Nets and Other Models of Concurrency XVI
2022년
Transactions on Petri Nets and Other Models of Concurrency XV Transactions on Petri Nets and Other Models of Concurrency XV
2021년
Challenges and Opportunity with Big Data Challenges and Opportunity with Big Data
2017년
Models and Analysis for Distributed Systems Models and Analysis for Distributed Systems
2013년
Embedded Systems Embedded Systems
2013년
Reliable Software Technologies - Ada-Europe 2007 Reliable Software Technologies - Ada-Europe 2007
2007년
Reliable Software Technologies - Ada-Europe 2009 Reliable Software Technologies - Ada-Europe 2009
2009년
Reliable Systems on Unreliable Networked Platforms Reliable Systems on Unreliable Networked Platforms
2007년
Reliable Software Technologies - Ada-Europe 2008 Reliable Software Technologies - Ada-Europe 2008
2008년