Team for Research in
Ubiquitous Secure Technology

Citation
Ethan Jackson, Janos Sztipanovits. "Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality". 3th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), March, 2006.

Abstract
(No abstract.)

Electronic downloads

• corrected%20through%20construction.pdf · application/pdf · 178 kbytes

• HTML

  Ethan Jackson, Janos Sztipanovits. <a
  href="http://www.truststc.org/pubs/440.html"
  >Correct-ed through Construction: A Model-based Approach
  to Embedded Systems Reality</a>, 3th Annual IEEE
  International Conference and Workshop on the Engineering of
  Computer Based Systems (ECBS), March, 2006.

• Plain text

  Ethan Jackson, Janos Sztipanovits. "Correct-ed through
  Construction: A Model-based Approach to Embedded Systems
  Reality". 3th Annual IEEE International Conference and
  Workshop on the Engineering of Computer Based Systems
  (ECBS), March, 2006.

• BibTeX

  @inproceedings{JacksonSztipanovits06_CorrectedThroughConstructionModelbasedApproachToEmbedded,
      author = {Ethan Jackson and Janos Sztipanovits},
      title = {Correct-ed through Construction: A Model-based
                Approach to Embedded Systems Reality},
      booktitle = {3th Annual IEEE International Conference and
                Workshop on the Engineering of Computer Based
                Systems (ECBS)},
      month = {March},
      year = {2006},
      abstract = {(No abstract.)},
      URL = {http://www.truststc.org/pubs/440.html}
  }
  

Posted by Jan Werner on 20 Aug 2008.
Groups: trust
For additional information, see the Publications FAQ or contact webmaster at www truststc org.