Abstraction, refinement and proof for probabilistic systems /

Antzeko izenburuak

• Refined Probabilistic Abstraction
  nork: Wachter, B
  Argitaratua: (2010)
• Fundamentals of systems engineering : probabilistic models /
  nork: 465037 Au, Tung, et al.
  Argitaratua: (1972)
• Abstraction Refinement for Probabilistic Software
  nork: Kwiatkowska, G, et al.
  Argitaratua: (2009)
• Probabilistic methods in structural engineering /
  nork: 424490 Augusti, Guilliano, et al.
  Argitaratua: (1984)
• Probabilistic modeling and analysis in science and engineering /
  nork: 407425 Soong, T. T.
  Argitaratua: (1981)