Home Advanced Search

Advanced Search - Page 1

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Edward A. Lee, Yang Zhao (auth.), Fabrice Kordon, Janos Sztipanovits (eds.)
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Edward A. Lee, Yang Zhao (auth.), Fabrice Kordon, Janos Sztipanovits (eds.)
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers ... Programming and Software Engineering)
  • PDF
  • English
  • Year: 2007
  • Author: Fabrice Kordon, Janos Sztipanovits
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Janos Sztipanovits (auth.), Michael Butler, Wolfram Schulte (eds.)
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Janos Sztipanovits (auth.), Michael Butler, Wolfram Schulte (eds.)
Reliable Software Technologies – Ada Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Andy Wellings, Alan Burns (auth.), Nabil Abdennadher, Fabrice Kordon (eds.)
Reliable Software Technologies – Ada Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Andy Wellings, Alan Burns (auth.), Nabil Abdennadher, Fabrice Kordon (eds.)
Reliable Software Technologies – Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Alessandro Zovi, Tullio Vardanega (auth.), Fabrice Kordon, Yvon Kermarrec (eds.)
Reliable Software Technologies – Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Alessandro Zovi, Tullio Vardanega (auth.), Fabrice Kordon, Yvon Kermarrec (eds.)
Formal Methods for Embedded Distributed Systems : How to master the complexity
  • PDF
  • English
  • Year: 1991
  • Author: Fabrice Kordon and Michel Lemoine
search