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

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 I...

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 Wor...

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-Eu...

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 Conf...

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

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

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

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

Reached to the end of result.