home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / specific / 637 < prev    next >
Encoding:
Text File  |  1993-01-26  |  712 b   |  21 lines
  1. Newsgroups: comp.specification
  2. Path: sparky!uunet!spool.mu.edu!yale.edu!ira.uka.de!gate.fzi.de!lindner
  3. From: lindner@fzi.de (Thomas Lindner)
  4. Subject: Call for experience reports: FM applied to large-scale projects
  5. Message-ID: <1993Jan26.093557.15762@fzi.de>
  6. Sender: news@fzi.de (FZI-news)
  7. Reply-To: lindner@fzi.de
  8. Organization: Forschungszentrum Informatik (FZI), Karlsruhe, Germany
  9. Date: Tue, 26 Jan 1993 09:35:57 GMT
  10. Lines: 9
  11.  
  12. I am looking for experience reports about the usage of formal methods in
  13. large-scale industrial projects. I would be happy about every reference
  14. to publications on this topic.
  15.  
  16. Please answer by email, I'll summarize.
  17.  
  18. Thomas Lindner
  19. Forschungszentrum Informatik,
  20. Karlsruhe, Germany.
  21.