Fabrice Kordon

Author detail

FK

11 featured books

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

Search this author Open first work

OL7356030A

Featured books

Representative editions for works actually authored by this person.

TA
Image source: Open Library
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS | 2019
Representative edition for this work grouping in the active catalog.
cover
CA
Image source: Open Library
Challenges and Opportunity with Big Data
Challenges and Opportunity with Big Data | 2017
Representative edition for this work grouping in the active catalog.
cover
AA
Image source: Open Library
Application and Theory of Petri Nets and Concurrency
Application and Theory of Petri Nets and Concurrency | 2016
Representative edition for this work grouping in the active catalog.
cover
ES
Image source: Open Library
Embedded Systems Analysis And Modeling With Sysml Uml And Aadl
Embedded Systems Analysis And Modeling With Sysml Uml And Aadl | 2013
Representative edition for this work grouping in the active catalog.
cover
FM
Image source: Open Library
Formal methods for embedded distributed systems
Formal Methods for Embedded Distributed Systems | 2010
Representative edition for this work grouping in the active catalog.
cover
RS
Image source: Open Library
Reliable systems on unreliable networked platforms
Reliable Systems on Unreliable Networked Platforms | 2007
Representative edition for this work grouping in the active catalog.
cover
TOOLympics Challenge 2023Fabrice Kordon
TC
TOOLympics Challenge 2023
TOOLympics Challenge 2023 | 2024
Representative edition for this work grouping in the active catalog.
no cover
Distibuted SystemsFabrice Kordon
DS
Distibuted Systems
Distibuted Systems | 2013
Representative edition for this work grouping in the active catalog.
no cover
Models and Analysis for Distrib...Fabrice Kordon
MA
Models and Analysis for Distributed Systems
Models and Analysis for Distributed Systems | 2013
Representative edition for this work grouping in the active catalog.
no cover
Embedded SystemsFabrice Kordon
ES
Embedded Systems
Embedded Systems | 2013
Representative edition for this work grouping in the active catalog.
no cover
Composition of Embedded Systems...Fabrice Kordon
CO
Composition of Embedded Systems. Scientific and Industrial Issues
Composition of Embedded Systems. Scientific and Industrial Issues | 2007
Representative edition for this work grouping in the active catalog.
no cover

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Representative edition published 2019
Open Work
Challenges and Opportunity with Big Data
Representative edition published 2017
Open Work
Application and Theory of Petri Nets and Concurrency
Representative edition published 2016
Open Work
Embedded Systems Analysis And Modeling With Sysml Uml And Aadl
Representative edition published 2013
Open Work
Formal methods for embedded distributed systems
Representative edition published 2010
Open Work
Reliable systems on unreliable networked platforms
Representative edition published 2007
Open Work
TOOLympics Challenge 2023
Representative edition published 2024
Open Work
Distibuted Systems
Representative edition published 2013
Open Work
Models and Analysis for Distributed Systems
Representative edition published 2013
Open Work
Embedded Systems
Representative edition published 2013
Open Work
Composition of Embedded Systems. Scientific and Industrial Issues
Representative edition published 2007
Open Work

Fabrice Kordon

Overview

Catalog identity

Featured books

Works in catalog