Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

3 results
Image document

Defining Context-Free Power Series Coalgebraically

Marcello M. Bonsangue , Jan Rutten , Joost Winter
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.20-39, ⟨10.1007/978-3-642-32784-1_2⟩
Conference papers hal-01539885v1
Image document

RAM: Rapid Alignment Method

Ruben A. Muijrers , Jasper Woudenberg , Lejla Batina
10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.266-282, ⟨10.1007/978-3-642-27257-8_17⟩
Conference papers hal-01596293v1
Image document

Model-Based Testing of Industrial Transformational Systems

Petur Olsen , Johan Foederer , Jan Tretmans
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.131-145, ⟨10.1007/978-3-642-24580-0_10⟩
Conference papers hal-01583924v1