LiU Electronic Press
Full-text not available in DiVA
Author:
Lundvall, Håkan (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory)
Bunus, Peter (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory)
Fritzson, Peter (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory)
Title:
Towards Automatic Generation of Model Checkable Code from Modelica
Department:
Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory
Linköping University, The Institute of Technology
Publication type:
Conference paper (Other academic)
Language:
English
In:
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
Statistics:
8 hits