Call for experience reports: FM applied to large-scale projects

Article View: comp.specification

Article #494

Back to comp.specification Previous Next

#494

From: Thomas Lindner
Date: Tue, 26 Jan 1993 09:35

9 lines
732 bytes

I am looking for experience reports about the usage of formal methods in
large-scale industrial projects. I would be happy about every reference
to publications on this topic.

Please answer by email, I'll summarize.

Thomas Lindner
Forschungszentrum Informatik,
Karlsruhe, Germany.

Technical Details

Message-ID: <1993Jan26.093557.15762@fzi.de>

Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!yale.edu!ira.uka.de!gate.fzi.de!lindner

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!yale.edu!ira.uka.de!gate.fzi.de!lindner
From: lindner@fzi.de (Thomas Lindner)
Subject: Call for experience reports: FM applied to large-scale projects
Message-ID: <1993Jan26.093557.15762@fzi.de>
Sender: news@fzi.de (FZI-news)
Reply-To: lindner@fzi.de
Organization: Forschungszentrum Informatik (FZI), Karlsruhe, Germany
Date: Tue, 26 Jan 1993 09:35:57 GMT
Lines: 9