bib.howest.be Zoekresultaten

U zocht naar: Auteur Kordon, Fabrice

« Vorige | 1 - 10 van 11 | Volgende »

1. Reliable Systems on Unreliable Networked Platforms

Auteur:: Kordon, Fabrice; Sztipanovits, Janos
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

2. Challenges and Opportunity with Big Data

Auteur:: Zhang; Kordon, Fabrice; Ren, Lei
Uitgever:: Springer International Publishing 2017
Type:: e-book

3. Application and Theory of Petri Nets and Concurrency

Auteur:: Fabrice Kordon, Daniel Moldt; Kordon, Fabrice; Moldt, Daniel
Uitgever:: Springer International Publishing 2016
Type:: e-book

4. Composition of Embedded Systems. Scientific and Industrial Issues

Auteur:: Kordon, Fabrice; Sokolosky, Oleg; Sokolsky, Oleg
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

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

Auteur:: Beyer, Dirk.; Hartmanns, Arnd; Kordon, Fabrice
Uitgever:: Cham Springer 2024
Type:: e-book

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

Auteur:: Koutny, Maciej.; Kordon, Fabrice; Moldt, Daniel
Uitgever:: Berlin, Heidelberg Springer Berlin / Heidelberg 2022
Type:: e-book

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

Auteur:: Maciej Koutny; Kordon, Fabrice; Pomello, Lucia
Uitgever:: Springer Berlin Heidelberg 2021
Type:: e-book

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

Auteur:: Beyer; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard
Uitgever:: Springer International Publishing 2019
Type:: e-book

9. Reliable Software Technologies – Ada-Europe 2008

Auteur:: Kordon, Fabrice; Kanade, Takeo; Vardanega, Tullio; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

10. Reliable Software Technologies – Ada-Europe 2009

Auteur:: Kordon, Fabrice; Kanade, Takeo; Kermarrec, Yvon; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book