Fabrice Kordon – författare
Visar alla böcker från författaren Fabrice Kordon. Handla med fri frakt och snabb leverans.
36 produkter
Tools and Algorithms for the Construction and Analysis of Systems
Av Bernhard Steffen, Fabrice Kordon m. fl.
Häftad, 2020
661 kr
Lägg i varukorg
Tools and Algorithms for the Construction and Analysis of Systems
Av Bernhard Steffen, Fabrice Kordon m. fl.
Inbunden, 2020
734 kr
Lägg i varukorg
Embedded Systems
Analysis and Modeling with SysML, UML and AADL
Av Alain Dohet, Agusti Canals m. fl.
E-bok, 2013
2265 kr
Lägg i varukorg
Since the construction of the first embedded system in the 1960s, embedded systems have continued to spread. They provide a continually increasing number of services and are part of our daily life. The development of these systems is a difficult problem which does not yet have a global solution. …
Embedded Systems
Analysis and Modeling with SysML, UML and AADL
Av Alain Dohet, Agusti Canals m. fl.
E-bok, 2013
2265 kr
Lägg i varukorg
Since the construction of the first embedded system in the 1960s, embedded systems have continued to spread. They provide a continually increasing number of services and are part of our daily life. The development of these systems is a difficult problem which does not yet have a global solution. …
Distibuted Systems
Design and Algorithms
Av Laure Petrucci, Laurent Pautet m. fl.
E-bok, 2013
2399 kr
Lägg i varukorg
In today’s digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems. Distributed Systems introduces the underlying concepts, the associated design techniques and the related security issues. …
Distibuted Systems
Design and Algorithms
Av Laure Petrucci, Laurent Pautet m. fl.
E-bok, 2013
2347 kr
Lägg i varukorg
In today’s digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems. Distributed Systems introduces the underlying concepts, the associated design techniques and the related security issues. …
Models and Analysis for Distributed Systems
Av Laure Petrucci, Laurent Pautet m. fl.
E-bok, 2013
2399 kr
Lägg i varukorg
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the …
Models and Analysis for Distributed Systems
Av Laure Petrucci, Laurent Pautet m. fl.
E-bok, 2013
2347 kr
Lägg i varukorg
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the …
Formal Methods for Embedded Distributed Systems
How to master the complexity
Av Fabrice Kordon, Michel Lemoine
Inbunden, 1991
1129 kr
Lägg i varukorg
The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong development process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is …
Formal Methods for Embedded Distributed Systems
How to master the complexity
Av Fabrice Kordon, Michel Lemoine
Häftad, 2010
1129 kr
Lägg i varukorg
The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is …
Distibuted Systems
Design and Algorithms
Av Serge Haddad, Fabrice Kordon m. fl.
Inbunden, 2011
2106 kr
Lägg i varukorg
In today's digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems.Distributed Systems introduces the underlying concepts, the associated design techniques and the related security …
Models and Analysis for Distributed Systems
Av Serge Haddad, Fabrice Kordon m. fl.
Inbunden, 2011
2025 kr
Lägg i varukorg
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the …
Embedded Systems
Analysis and Modeling with SysML, UML and AADL
Av Fabrice Kordon, Jérôme Hugues m. fl.
Inbunden, 2013
1988 kr
Lägg i varukorg
Since the construction of the first embedded system in the 1960s, embedded systems have continued to spread. They provide a continually increasing number of services and are part of our daily life. The development of these systems is a difficult problem which does not yet have a global solution. …
Tools and Algorithms for the Construction and Analysis of Systems
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Av Dirk Beyer, Marieke Huisman m. fl.
Häftad, 2019
567 kr
Lägg i varukorg
This book is Open Access under a CC BY licence.This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the …
TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
Av Dirk Beyer, Arnd Hartmanns m. fl.
Häftad, 2024
624 kr
Lägg i varukorg
TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France. The goal is to acknowledge the achievements of the …
TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
Av Fabrice Kordon, Arnd Hartmanns m. fl.
E-bok, 2024
821 kr
Lägg i varukorg
TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April n Paris, France. The goal is to acknowledge the achievements of the …
Application and Theory of Petri Nets and Concurrency
37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
Av Fabrice Kordon, Daniel Moldt
Häftad, 2016
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Toruń, Poland, in June 2016. Petri Nets 2016 was co-located with the Application of Concurrency to System Design Conference, ACSD 2016.The 16 …
Application and Theory of Petri Nets and Concurrency
37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
Av Daniel Moldt, Fabrice Kordon
E-bok, 2016
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Toruń, Poland, in June 2016. Petri Nets 2016 was co-located with the Application of Concurrency to System Design Conference, ACSD 2016. The 16 …
Challenges and Opportunity with Big Data
19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers
Häftad, 2017
568 kr
Lägg i varukorg
This book presents the thoroughly refereed and revised post-workshop proceedings of the 19th Monterey Workshop, held in Beijing, China, in Ocotber 2016. The workshop explored the challenges associated with the Development, Operation and Management of Large-Scale complex IT Systems.The 18 revised …
Challenges and Opportunity with Big Data
19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers
Av Fabrice Kordon, Lei Ren m. fl.
E-bok, 2017
755 kr
Lägg i varukorg
This book presents the thoroughly refereed and revised post-workshop proceedings of the 19th Monterey Workshop, held in Beijing, China, in Ocotber 2016. The workshop explored the challenges associated with the Development, Operation and Management of Large-Scale complex IT Systems. The 18 revised …
Reliable Software Technologies - Ada-Europe 2008
13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
Av Fabrice Kordon, Tullio Vardanega
Häftad, 2008
568 kr
Lägg i varukorg
th The 13 edition of the International Conference on Reliable Software Technologies (Ada-Europe 2008) marked its arrival in Italy by selecting the splendid venue of Venice. It did so after having been hosted twice in Switzerland, Spain and the UK (Montreux for its inauguration in 1996 and Geneva in …
Reliable Software Technologies - Ada-Europe 2008
13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
Av Tullio Vardanega, Fabrice Kordon
E-bok, 2008
732 kr
Lägg i varukorg
th The 13 edition of the International Conference on Reliable Software Technologies (Ada-Europe 2008) marked its arrival in Italy by selecting the splendid venue of Venice. It did so after having been hosted twice in Switzerland, Spain and the UK (Montreux for its inauguration in 1996 and Geneva in …
Reliable Systems on Unreliable Networked Platforms
12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
Av Fabrice Kordon, Janos Sztipanovits
Häftad, 2007
568 kr
Lägg i varukorg
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with special focus on realization of reliable systems on top of unreliable networked platforms, held in Laguna Beach, CA in September 2005. Coverage includes model-based software …
Reliable Systems on Unreliable Networked Platforms
12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
Av Janos Sztipanovits, Fabrice Kordon
E-bok, 2007
755 kr
Lägg i varukorg
Reliable Software Technologies - Ada-Europe 2007
12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings
Av Nabil Abdennahder, Fabrice Kordon
Häftad, 2007
568 kr
Lägg i varukorg
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies. The objective of this series of conferences, initiated and sponsored by Ada-Europe, the European federation of national Ada …
Reliable Software Technologies - Ada-Europe 2007
12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings
Av Fabrice Kordon, Nabil Abdennahder
E-bok, 2007
755 kr
Lägg i varukorg
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies. The objective of this series of conferences, initiated and sponsored by Ada-Europe, the European federation of national Ada …
Composition of Embedded Systems. Scientific and Industrial Issues
13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
Av Fabrice Kordon, Oleg Sokolsky
Häftad, 2008
568 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France, in October 2006. The 12 revised full papers presented were carefully selected during two rounds of …
Composition of Embedded Systems. Scientific and Industrial Issues
13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
Av Oleg Sokolsky, Fabrice Kordon
E-bok, 2007
755 kr
Lägg i varukorg
Reliable Software Technologies - Ada-Europe 2009
14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings
Av Fabrice Kordon, Yvon Kermarrec
Häftad, 2009
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the …
Reliable Software Technologies - Ada-Europe 2009
14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings
Av Yvon Kermarrec, Fabrice Kordon
E-bok, 2009
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the …
