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

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Thomas Lindner Tue, 26 Jan 1993 09:35

#494

Author: 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.

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads