F

Fabrice Kordon

18 books found

Books by Fabrice Kordon
Formal methods for embedded distributed systemsFabrice Kordon
⏱ 4h 33m

Formal methods for embedded distributed systems

Fabrice Kordon

2004273 pp.
Embedded Systems Analysis And Modeling With Sysml Uml And AadlFabrice Kordon

Embedded Systems Analysis And Modeling With Sysml Uml And Aadl

Fabrice Kordon

2013No page data
Reliable systems on unreliable networked platformsFabrice Kordon
⏱ 5h 17m

Reliable systems on unreliable networked platforms

Fabrice Kordon

2007317 pp.
Application and Theory of Petri Nets and ConcurrencyFabrice Kordon
⏱ 5h 53m

Application and Theory of Petri Nets and Concurrency

Fabrice Kordon

2016353 pp.
Embedded SystemsFabrice Kordon
⏱ 5h 20m

Embedded Systems

Fabrice Kordon

2013320 pp.
Distibuted SystemsSerge Haddad
⏱ 5h 36m

Distibuted Systems

Serge Haddad

2011336 pp.
Models and Analysis for Distributed SystemsSerge Haddad
⏱ 5h 56m

Models and Analysis for Distributed Systems

Serge Haddad

2011356 pp.
Reliable Software Technologies - Ada-Europe 2008Fabrice Kordon

Reliable Software Technologies - Ada-Europe 2008

Fabrice Kordon

2008No page data
Reliable Software Technologies - Ada-Europe 2007Nabil Abdennahder

Reliable Software Technologies - Ada-Europe 2007

Nabil Abdennahder

2007No page data
Composition of Embedded Systems. Scientific and Industrial IssuesFabrice Kordon

Composition of Embedded Systems. Scientific and Industrial Issues

Fabrice Kordon

2007No page data
Reliable Software Technologies - ADA-Europe 2008Fabrice Kordon,Tullio Vardanega

Reliable Software Technologies - ADA-Europe 2008

Fabrice Kordon,Tullio Vardanega

2008No page data
Reliable Software Technologies - ADA-Europe 2007Fabrice Kordon,Nabil Abdennahder

Reliable Software Technologies - ADA-Europe 2007

Fabrice Kordon,Nabil Abdennahder

2008No page data
Transactions on Petri Nets and Other Models of Concurrency XVMaciej Koutny

Transactions on Petri Nets and Other Models of Concurrency XV

Maciej Koutny

2021No page data
Transactions on Petri Nets and Other Models of Concurrency XVIMaciej Koutny

Transactions on Petri Nets and Other Models of Concurrency XVI

Maciej Koutny

2022No page data
TOOLympics Challenge 2023Dirk Beyer
⏱ 4h 10m

TOOLympics Challenge 2023

Dirk Beyer

2024250 pp.
Challenges and Opportunity with Big DataLin Zhang
⏱ 3h 29m

Challenges and Opportunity with Big Data

Lin Zhang

2017209 pp.
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACASDirk Beyer
⏱ 4h 32m

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS

Dirk Beyer

2019272 pp.
Transactions on Petri Nets and Other Models of Concurrency XVIIIFabrice Kordon

Transactions on Petri Nets and Other Models of Concurrency XVIII

Fabrice Kordon

2026No page data