55

Introducing the GRASPIN specification language SEGRAS

Year:
1991
Language:
english
File:
PDF, 1.75 MB
english, 1991
56

Toward formal models of software engineering processes

Year:
1991
Language:
english
File:
PDF, 1.26 MB
english, 1991
59

Foreword

Year:
2009
Language:
english
File:
PDF, 64 KB
english, 2009
65

Automated verification of function block-based industrial control systems

Year:
2002
Language:
english
File:
PDF, 154 KB
english, 2002
68

Colour-octet contributions to JΨ photoproduction via fragmentation at HERA

Year:
1997
Language:
english
File:
PDF, 666 KB
english, 1997
96

Component meets service: what does the mongrel look like?

Year:
2008
Language:
english
File:
PDF, 412 KB
english, 2008