bib.howest.be Search Results

You searched for: Auteur Kordon, Fabrice

« Previous | 1 - 10 of 11 | Next »

1. Reliable Systems on Unreliable Networked Platforms

Author:: Kordon, Fabrice; Sztipanovits, Janos
Publisher:: Springer Berlin Heidelberg 2007
Format:: e-book

2. Challenges and Opportunity with Big Data

Author:: Zhang; Kordon, Fabrice; Ren, Lei
Publisher:: Springer International Publishing 2017
Format:: e-book

3. Application and Theory of Petri Nets and Concurrency

Author:: Fabrice Kordon, Daniel Moldt; Kordon, Fabrice; Moldt, Daniel
Publisher:: Springer International Publishing 2016
Format:: e-book

4. Composition of Embedded Systems. Scientific and Industrial Issues

Author:: Kordon, Fabrice; Sokolosky, Oleg; Sokolsky, Oleg
Publisher:: Springer Berlin Heidelberg 2008
Format:: e-book

5. TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions

Author:: Beyer, Dirk.; Hartmanns, Arnd; Kordon, Fabrice
Publisher:: Cham Springer 2024
Format:: e-book

6. Transactions on Petri Nets and Other Models of Concurrency XVI

Author:: Koutny, Maciej.; Kordon, Fabrice; Moldt, Daniel
Publisher:: Berlin, Heidelberg Springer Berlin / Heidelberg 2022
Format:: e-book

7. Transactions on Petri Nets and Other Models of Concurrency XV

Author:: Maciej Koutny; Kordon, Fabrice; Pomello, Lucia
Publisher:: Springer Berlin Heidelberg 2021
Format:: e-book

8. Tools and Algorithms for the Construction and Analysis of Systems

Author:: Beyer; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard
Publisher:: Springer International Publishing 2019
Format:: e-book

9. Reliable Software Technologies – Ada-Europe 2008

Author:: Kordon, Fabrice; Kanade, Takeo; Vardanega, Tullio; Kittler, Josef
Publisher:: Springer Berlin Heidelberg 2008
Format:: e-book

10. Reliable Software Technologies – Ada-Europe 2009

Author:: Kordon, Fabrice; Kanade, Takeo; Kermarrec, Yvon; Kittler, Josef
Publisher:: Springer Berlin Heidelberg 2009
Format:: e-book