BibSonomy :: author  :: Dillon ::

bookmarks

publications

(1)

previous | 1 | next  

• Efficient Specification-based Oracles for Critical Systems
  T. Owen O'Malley and Debra J. Richardson and Laura K. Dillon (1996)
  to LTL automated oracle singlesystem statemachine by ist_spl on 2008-05-23 16:21:32
  | URL | BibTeX  

previous | 1 | next  

Showing 10 items per page. Show 10, 25, 50, 100 items per page.

• tags
  • ,Scandals,Sex
  • 1,Child
  • 2009_1
  • \&
  • abuse
  • algorithms,
  • analysis
  • Areopagita
  • automated
  • boards
  • ByzZ
  • cites.gradu
  • cites.pclass.d
  • crimes
  • data
  • dblp
  • digital
  • Dionysios
  • Electronic_Commerce
  • empirical
  • fuzzy
  • genetic
  • hci
  • hypertext
  • imported
  • integration
  • LTL
  • Mittelplatonismus
  • mode
  • mrefs
  • neglect,Clergy,Review
  • Neuplatonismus
  • oracle
  • personalisation
  • pfc
  • PLE-TEL-project
  • programming
  • requirements
  • research.bizInt.bpm
  • research.conceptual
  • research.ir
  • research.xml
  • Serviceorientierte_Architektur
  • Sicherheitsmaßnahme
  • singlesystem
  • statemachine
  • technologies
  • three
  • threemode
  • trust
  • Verbraucher
  • Vertrauen
  • workplace-ple
  • writing
  • xml