Fabrice Kordon

· 16 obras en el catálogo

Obras

Reliable systems on unreliable networked platforms

Embedded Systems Analysis And Modeling With Sysml Uml And Aadl

Formal methods for embedded distributed systems

Challenges and Opportunity with Big Data

Application and Theory of Petri Nets and Concurrency

DDistibuted Systems

Distibuted Systems

MModels and Analysis for Distributed Systems

Models and Analysis for Distributed Systems

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

EEmbedded Systems

Embedded Systems

TTransactions on Petri Nets and Other Models of Concurrency X

Transactions on Petri Nets and Other Models of Concurrency XV

RReliable Software Technologies - Ada-Europe 2007

Reliable Software Technologies - Ada-Europe 2007

RReliable Software Technologies - Ada-Europe 2008

Reliable Software Technologies - Ada-Europe 2008

CComposition of Embedded Systems. Scientific and Industrial I

Composition of Embedded Systems. Scientific and Industrial Issues

TTransactions on Petri Nets and Other Models of Concurrency X

Transactions on Petri Nets and Other Models of Concurrency XVI

TTOOLympics Challenge 2023

TOOLympics Challenge 2023

TTransactions on Petri Nets and Other Models of Concurrency X

Transactions on Petri Nets and Other Models of Concurrency XVIII