Ban3

Informations sur l'auteur

Wolfgang Grieskamp

http://pistou.imag.fr/site/author/2107

 
 

Publications de l'auteur

La liste contient 4 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer reviewed journal [ACL]
1993
1
Algebraic Programming in OPAL.
Bulletin EATCS, (50):171--181, jun 1993.
bibtex/ html
International peer-reviewed conference proceedings [ACT]
2007
2
A New Method for Interoperability Test Generation.
19th IFIP International Conference on Testing of Software and Communicating Systems and 7th International Workshop on Formal Approaches to Testing of Software, 4581:58--73, lncs, jun 2007.
bibtex/ html
3
A Compositional Testing Framework Driven by Partial Specifications.
Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, 4581:107-122, Lecture Notes in Computer Science, 2007.
bibtex/ html
2000
4
Construction of Finite Labelled Transition Systems From B Abstract Systems.
Proceedings of the 2nd International Conference on Integrated Formal Methods IFM'2000 (Schloss Dagstuhl, Germany), 1945:235--254, lncs, nov 2000.
bibtex/ html