Integrated Modeling and Development of Component-Based Embedded Software in Scala.

Klaus Havelund, Robert Bocchino

Browse the full ISoLA paper archive.