Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: Fabrice Kordon
23 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
TOOLympics Challenge 2023. - Updates, Results, Successes of the Formal-Methods Competitions
|
Dirk. Beyer
|
2025 |
Engelska |
| 2 |
Formal methods for embedded distributed systems - how to master the complexity
|
|
2004 |
Engelska |
| 3 |
Reliable Software Technologies – Ada-Europe 2008 electronic resource - 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
|
Fabrice. Kordon
|
2008 |
Engelska |
| 4 |
Reliable Software Technologies – Ada-Europe 2009 - 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
|
Fabrice. Kordon
|
2009 |
Engelska |
| 5-6 |
Composition of Embedded Systems. Scientific and Industrial Issues
(flera utgåvor)
|
Fabrice. Kordon
|
2007 |
Engelska |
| 7 |
Reliable Systems on Unreliable Networked Platforms electronic resource - 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
|
Fabrice. Kordon
|
2007 |
Engelska |
| 8 |
Reliable Software Technologies - Ada Europe 2007 electronic resource - 12th Ada-Europe Intenational Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings
|
Nabil. Abdennahder
|
2007 |
Engelska |
| 9 |
Proceedings of the 12th international conference on Reliable software technologies
|
Nabil Abdennahder
|
2007 |
Okänt |
| 10 |
Embedded systems - analysis and modeling with SysML, UML and AADL
|
|
2013 |
Engelska |
| 11 |
Embedded Systems: Analysis and Modeling with SysML, UML and AADL
|
Fabrice Kordon
|
2013 |
Okänt |
| 12 |
Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
|
|
2016 |
Engelska |
| 13 |
Challenges and Opportunity with Big Data - 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers
|
|
2017 |
Engelska |
| 14 |
Formal methods for embedded distributed systems : how to master the complexity
|
Fabrice Kordon
|
2004 |
Okänt |
| 15 |
Reliable Software Technologies Ada-Europe 2009 : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
|
Fabrice Kordon
|
2009 |
Okänt |
| 16 |
Composition of Embedded Systems. Scientific and Industrial Issues : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
|
Fabrice Kordon
|
2008 |
Okänt |
| 17 |
Reliable Software Technologies Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
|
Fabrice Kordon
|
2008 |
Okänt |
| 18 |
Reliable Systems on Unreliable Networked Platforms: 12Th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : Revised Selected Papers (Lecture notes in computer science 4322)
|
Fabrice Kordon
|
2007 |
Okänt |
| 19 |
TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions
|
Dirk Beyer
|
2025 |
Okänt |
| 20 |
TOOLympics 2019 - An overview of competitions in formal methods
|
Czech Republic Prague April 6–11 TACAS 2019 Ezio Bartocci
|
2019 |
Engelska |
1
2
Nästa sida
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.