Home Advanced Search

Advanced Search - Page 1

Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: Lars Frantzen, Jan Tretmans, Tim A. C. Willemse (auth.), Jens Grabowski, Brian Nielsen (eds.)
Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans (auth.), Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (eds.)
Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans (auth.), Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (eds.)
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
  • PDF
  • English
  • Year: 2007
  • Author: Lars Frantzen, Jan Tretmans (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
Metabolomics: A Powerful Tool in Systems Biology
  • PDF
  • English
  • Year: 2007
  • Author: Jens Nielsen, Michael C. Jewett (auth.), Jens Nielsen, Michael C. Jewett (eds.)
Situation Awareness with Systems of Systems
  • PDF
  • English
  • Year: 2013
  • Author: Jan Tretmans, Piërre van de Laar (auth.), Piërre van de Laar, Jan Tretmans, Michael Borth (eds.)
Metabolic Flux Analysis: Methods and Protocols
  • PDF
  • English
  • Year: 2014
  • Author: Jens O. Krömer, Lars K. Nielsen, Lars M. Blank (eds.)
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. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Antti Huima (auth.), Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (eds.)
Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers
  • PDF
  • English
  • Year: 2008
  • Author: Jan Tretmans (auth.), Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)
Ammonia: Catalysis and Manufacture
  • PDF
  • English
  • Year: 1995
  • Author: Lars J. Christiansen (auth.), Anders Nielsen (eds.)
search