BibSonomy :: author  ::

bookmarks

publications

(34)

• Synthesizing Stochasticity in Biochemical Systems.
  Brian Fett and Jehoshua Bruck and Marc D. Riedel DAC 640-645 (2007)
  to dblp by dblp on 2007-06-29 00:00:00
  | URL | BibTeX  
• Lessons learned while building an integrated ICU workstation
  W. Friesdorf and F. Groß-Alltag and S. Konichezky and B. Schwilk and A. Fattroth and P. Fett Journal of Clinical Monitoring and Computing 11 89--97 (1995)
  to ICU problem workstation by bopep on 2007-02-18 14:16:18
  | BibTeX  
• Linked Ulm Care System (LUCY)
  P. Fett and W. Friesdorf Ergonomie in der Intensivmedizin 197-207 (1990)
  to ICU future integration support workstation by bopep on 2007-02-15 16:34:28
  | BibTeX  
• Using B to Specify, Verify and Design Hardware Circuits.
  Ib Holm Sørensen ZUM 60-65 (1998)
  to dblp by dblp on 2005-07-07 00:00:00
  | URL | BibTeX  
• Aufbau von Web-Portalen für Unternehmenskooperationen - Vorgehen, Funktionen, Architektur, Erfahrungen.
  Heike Vocke and Andreas Fett II GI Jahrestagung (2) 294-299 (2003)
  to dblp by dblp on 2003-12-11 00:00:00
  | URL | BibTeX  
• Algebreic Programming in Opal.
  Andreas Fett and Carola Gerke and Wolfgang Grieskamp and Peter Pepper Bulletin of the EATCS 50 171-181 (1993)
  to dblp by dblp on 2003-12-02 00:00:00
  | URL | BibTeX  
• DCA: An Expert System for Auditing Data Communications.
  Patrick D. Fett and K. M. George SIGSMALL/PC Symposium 238-245 (1990)
  to dblp by dblp on 2002-12-19 00:00:00
  | URL | BibTeX  
• OPAL: Design and Implementation of an Algebraic Programming Language.
  Klaus Didrich and Andreas Fett and Carola Gerke and Wolfgang Grieskamp and Peter Pepper Programming Languages and System Architectures 228-244 (1994)
  to dblp by dblp on 2002-02-08 00:00:00
  | URL | BibTeX  
• Formal Derivation of Finite State Machines for Class Testing.
  Leesa Murray and David A. Carrington and Ian MacColl and Jason McDonald and Paul A. Strooper ZUM 42-59 (1998)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX  
• A Logic for the Schema Calculus.
  Martin C. Henson and Steve Reeves ZUM 172-191 (1998)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX