LiU Electronic Press
Full-text not available in DiVA
Author:
Lundvall, Håkan (Linköping University, Department of Computer and Information Science) (PELAB)
Bunus, Peter (Linköping University, Department of Computer and Information Science) (PELAB)
Fritzson, Peter (Linköping University, Department of Computer and Information Science) (PELAB)
Title:
Towards Automatic Generation of Model Checkable Code from Modelica
Department:
Linköping University, Department of Computer and Information Science
Publication type:
Conference paper (Other academic)
Language:
English
Conference:
SIMS 2004, the 45th Conference on Simulation and Modelling. September 2004,2004
Year of publ.:
2004
URI:
urn:nbn:se:liu:diva-23121
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-23121
Local ID:
2518
Subject category:
Computer Science
SVEP category:
Computer science
Available from:
2009-10-07
Created:
2009-10-07
Last updated:
2014-09-12
Statistics:
10 hits