Search CORE

3 research outputs found

SAVCBS 2003: Specification and Verification of Component-Based Systems

Author: Barnett Mike
Edwards Stephen H.
Giannakopoulou Dimitra
Leavens Gary T.
Publication venue: Iowa State University Digital Repository
Publication date: 01/01/2003
Field of study

These are the proceedings for the SAVCBS 2003 workshop. This workshop was held at ESEC/FSE 2003 in Helsinki Finland in September 2003

Digital Repository @ Iowa State University (ISU)

Parallel intersection and serial composition of finite state transducers

Author
Publication venue: 'Association for Computational Linguistics (ACL)'
Publication date: 01/01/1988
Field of study

Pieniä tietojenkäsittelytieteellisiä tutkimuksia. Syksy 2004

Author
Publication venue: Tampereen yliopisto
Publication date: 01/01/2004
Field of study

Trepo - Institutional Repository of Tampere University

core

core