Tertiary Links

  • Publications
  • Education
  • Resources
  • People
  • Sponsors
  • Careers
  • Contact
  • Alumni

Secondary links

  • Login


Institute for Software Integrated Systems

Primary links

  • Research
    • Model Integrated Computing
    • Smart Cities
    • Distributed Object Computing
    • Network Embedded Systems
    • Cyber-Physical Systems
    • Education Technology
    • Smart Mobility
    • Modeling and Analysis of Complex Systems
  • Projects
    • Proposal Questionnaire
    • Current
    • Past
    • Tools
  • Careers
  • Calendar

Home

ISIS Publications

  • List
  • Filter
Export 1 results:
  • Tagged
  • XML
  • BibTex
Sort by: [ Author (Asc)] Title Type Year
Filters: Author is Levendovszky, T.  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
Simko, G., D. Lindecker, T. Levendovszky, S. Neema, and J. Sztipanovits, "Specification of Cyber-Physical Components with Formal Semantics – Integration and Composition", ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS): Springer Berlin Heidelberg, 2013.
  • Tagged
  • XML
  • BibTex
  • Google Scholar
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering