ECN part of TNO
: Home
EN
English
/
NL
Nederlands
Publications
Recently Published
per documenttype
ECN publication
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
1981
1980
1979
1977
Book
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
1998
1997
1996
1995
1994
Article
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
Article (scientific)
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1995
Conference Paper
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1997
1996
1995
1993
1992
1991
1990
Presentation
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
Other
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
External memo
2017
2016
2015
2014
2013
2012
2011
Leaflet
2017
2016
2015
2014
2013
per Unit
Business Development
2016
2015
2014
Biomass & Energy Efficiency
2018
2017
2016
2015
2014
2013
2012
Policy Studies
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
1981
1980
1979
1977
Corporate Communications
2017
2016
Corporate
2017
2016
2015
2014
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1997
Environment & Energy Engineering
2018
2017
2016
2015
2014
2013
2012
2011
2010
2007
2006
2005
2003
2002
2001
2000
Program Development
2017
2016
2015
2014
Quality Safety Health and Environment
2018
2017
2016
2015
2014
Strategy & Planning
2016
Wind Energy
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
Solar Energy
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
per Cluster
No cluster
Aerodynamics
Anorganic Membrane Technology
System Integration
Building Energetics
CO2 capture and separation technology
Thin-Film Photovoltaics
Heat and Power
Emission Reduction
Energy and Environmental Quality
Energy in Transport en Buildings
Energy Innovation and Society
Energy Production, Networks and Markets
Energy Demand and Consumers
Energy Supply and Industry
Energy Technology in the Built Environment (ETBE)
Advanced coal conversion with CO2 capture
Global Sustainability
Heat Technology & Systems (HTS)
Renewable Energy
Industrial Heat Technology
Integrated Wind Turbine Design
Demand and Supply management
International Energy and Climate Issues
Silicon Photovoltaics
Air Quality and Climate Change
Membrane Technology (MT)
Molecular Separation Technology
National Energy and Emission Strategy
Grid Connection & Power Quality
Power grid connection & quality
Operations & Maintenance
PEMFC
Policy Evaluation and Support
Process Intensification
Reforming of liquid fuels
Environmental Risk Assessment
SOFC
Syngas and SNG
Thermal Materials & Components (TMC)
Thermal Systems
Energy Storage
Transportation Fuels and Chemicals
Supply Demand Matching
Wind Energy Systems
Wind Energy Technology
Search for publications:
Limit search to the fields
Title/Abstract
Publicationnumber
Author
ECN publication
Title:
An integrated automated support for KADS formal model development
Author(s):
Mei Lie,
Published by:
Publication date:
ECN
ECN
1993
ECN report number:
Document type:
ECN-R--93-015
Other
Number of pages:
Full text:
51
Download PDF
Abstract:
No summary available.
Back to List