dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Francisco J. González-Castaño (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel J. Fernández Iglesias, Juan C. Burguillo-Rial, Francisco J. González-Castaño, Martín Llamas Nistal: Wireless protocol testing and validation supported by formal methods. A hands-on report. Journal of Systems and Software 75(1-2): 139-154 (2005)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan C. Burguillo-Rial, Manuel J. Fernández Iglesias, Francisco J. González-Castaño, Martín Llamas Nistal: Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study. FME 2002: 57-76
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel J. Fernández Iglesias, Francisco J. González-Castaño, Martín Llamas Nistal, José M. Pousada Carballo, Javier Vales-Alonso: On the application of formal description techniques to the design of interception systems for GSM mobile terminals. Journal of Systems and Software 60(1): 51-58 (2002)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel J. Fernández Iglesias, Francisco J. González-Castaño, José M. Pousada Carballo, Martín Llamas Nistal, Alberto Romero Feijoo: From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study. FME 2001: 436-448
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco J. González-Castaño, Luis E. Anido-Rifón, Javier Vales-Alonso, Manuel J. Fernández Iglesias, Martín Llamas Nistal, Pedro S. Rodríguez-Hernández, José M. Pousada Carballo: Internet access to real equipment at computer architecture laboratories using the Java/CORBA paradigm. Computers & Education 36(2): 151-170 (2001)

Selection of 5 from 69 records - Francisco J. González-Castaño has 68 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page