Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005 : revised lectures /
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusabili...
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
c2006
Berlin ; New York : ©2006 |
| Series: | Lecture notes in computer science ;
4111 Lecture notes in computer science State-of-the-art survey Lecture notes in computer science State-of-the-art survey. Lecture notes in computer science 4111 |
| Subjects: |