Catalogo · 9783540686248
Reliable Software Technologies - Ada-Europe 2008
ISBN 9783540686248
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Models and Analysis for Distributed Systems
Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
Embedded Systems
Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet
Distibuted Systems
Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Reliable systems on unreliable networked platforms
Fabrice Kordon
Formal methods for embedded distributed systems
Fabrice Kordon
Application and Theory of Petri Nets and Concurrency
Fabrice Kordon, Daniel Moldt
Transactions on Petri Nets and Other Models of Concurrency XV
Maciej Koutny, Fabrice Kordon, Lucia Pomello
Transactions on Petri Nets and Other Models of Concurrency XVI
Maciej Koutny, Fabrice Kordon, Daniel Moldt
Transactions on Petri Nets and Other Models of Concurrency XVIII
Fabrice Kordon, Laure Petrucci, Jörg Desel, Jetty Kleijn, Maciej Koutny
TOOLympics Challenge 2023
Dirk Beyer, Arnd Hartmanns, Fabrice Kordon
Verba volant · scripta manent