Jump to main content

yr 〜
yr

Search results 10

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems
Digital電子書籍・電子雑誌図書
2019
Available onlineNational Diet Library
  • Author HeadingBeyer Huisman, Marieke Kordon, Fabrice Steffen, Bernhard

Reliable systems on unreliable networked platforms : 12th Monterey workshop 2005 : Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers. : 12th Monterey workshop on "networked systems: realization of reliable systems on unreliable networked platforms" : Sep 2005, Laguna Beach, CA. (Lecture Notes in Computer Science ; 4322)

Reliable systems on unreliable networked platforms : 12th Monterey workshop 2005 : Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers. : 12th Monterey workshop on "networked systems: realization of reliable systems on unreliable networked platforms" : Sep 2005, Laguna Beach, CA. (Lecture Notes in Computer Science ; 4322)
Paper図書
Springerc2007.<M17-07-1245>
National Diet Library
  • Author HeadingKordon, Fabrice. Sztipanovits, Janos.

Reliable software technologies -- Ada-Europe 2009 : 14th Ada-Europe international conference on reliable software technologies : Brest, France, June 8-12, 2009 : proceedings. : Jun 2009, Brest, France. (Lecture Notes in Computer Science ; 5570)

Reliable software technologies -- Ada-Europe 2009 : 14th Ada-Europe international conference on reliable software technologies : Brest, France, June 8-12, 2009 : proceedings. : Jun 2009, Brest, France. (Lecture Notes in Computer Science ; 5570)
Paper図書
Springerc2009.<M17-09-2114>
National Diet Library
  • Author HeadingKordon, Fabrice. Kermarrec, Yvon. Ada-Europe ...

Composition of embedded systems : scientific and industrial issues : 13th Monterey workshop 2006 : Paris, France, October 16-18, 2006 : revised selected papers. : Oct 2006, Paris, France. (Lecture Notes in Computer Science ; 4888)

Composition of embedded systems : scientific and industrial issues : 13th Monterey workshop 2006 : Paris, France, October 16-18, 2006 : revised selected papers. : Oct 2006, Paris, France. (Lecture Notes in Computer Science ; 4888)
Paper図書
Springerc2007.<M17-09-915>
National Diet Library
  • Author HeadingKordon, Fabrice. Sokolosky, Oleg. Monterey Wo...

Reliable software technologies -- Ada-Europe 2008 : 13th Ada-Europe international conference on reliable software technologies : Venice, Italy, June 16-20, 2008 : proceedings. : Jun 2008, Venice, Italy. (Lecture Notes in Computer Science ; 5026)

Reliable software technologies -- Ada-Europe 2008 : 13th Ada-Europe international conference on reliable software technologies : Venice, Italy, June 16-20, 2008 : proceedings. : Jun 2008, Venice, Italy. (Lecture Notes in Computer Science ; 5026)
Paper図書
Springerc2008.<M17-08-1932>
National Diet Library
  • Author HeadingKordon, Fabrice. Vardanega, T. (Tullio) Ada-E...

Reliable software technologies -- Ada-Europe 2007 : 12th Ada-Europe international conference on reliable software technologies : Geneva, Switzerland, June 25-29, 2007 : proceedings. : Jun 2007, Geneva, Switzerland. (Lecture Notes in Computer Science ; 4498)

Reliable software technologies -- Ada-Europe 2007 : 12th Ada-Europe international conference on reliable software technologies : Geneva, Switzerland, June 25-29, 2007 : proceedings. : Jun 2007, Geneva, Switzerland. (Lecture Notes in Computer Science ; 4498)
Paper図書
Springerc2007.<M17-07-1741>
National Diet Library
  • Author HeadingAbdennadher, Nabil. Kordon, Fabrice. Ada-Europe International Con...

Composition of embedded systems : scientific and industrial issues : 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006 : revised selected papers

Composition of embedded systems : scientific and industrial issues : 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006 : revised selected papers
Paper図書
Fabrice Kordon, Oleg Sokolsky (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingMonterey Workshop Kordon, Fabrice Sokolsky, Oleg

Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers

Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers
Paper図書
Fabrice Kordon, Janos Sztipanovits (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingMonterey Workshop Kordon, Fabrice Sztipanovits, Janos

Reliable software technologies - Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies Geneva, Switzerland, June 25-29, 2007 : proceedings

Reliable software technologies - Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies Geneva, Switzerland, June 25-29, 2007 : proceedings
Paper図書
Nabil Abdennadher, Fabrice Kordon (eds.)Springerc2007
Other Libraries in Japan
  • Author Heading...nnadher, Nabil Kordon, Fabrice

Formal methods for embedded distributed systems : how to master the complexity : hb

Formal methods for embedded distributed systems : how to master the complexity : hb
Paper図書
edited by Fabrice Kordon and Michel LemoineKluwer Academicc2004
Other Libraries in Japan
  • Author HeadingKordon, Fabrice Lemoine, Michel

Reached to the end of result.

RSS