search result

Cover von AFADL 97
approches formelles dans l'assistance au developpement de logiciels
Search for this author
Year: 1998
Publisher: Paris, Hermes
Series: RAIRO technique et science informatiques : 17. 1998, 9
Media group: SPECIAL ISSUE
Cover von Approches formelles dans l'assistance au developpement de logiciels; 8
S. 1046-1149
Search for this author
Year: 2002
Publisher: Paris, Hermes Science Publications
Count: 8
Media group: SPECIAL ISSUE
Cover von Approches formelles pour le developpement de logiciels; 7
S. 850-956
Search for this author
Year: 2004
Publisher: Paris, Hermes Science Publications
Count: 7
Media group: SPECIAL ISSUE
Cover von An Operator-based Approach to Incremental Development of Conform Protocol State Machines

An Operator-based Approach to Incremental Development of Conform Protocol State Machines

Year: 2006
Media group: ARTICLE
OPEN V 11.1.0.0