External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formalization of software models for cyber-physical systems

Sandeep Neema, Gabor Simko, Tihamer Levendovszky, Joseph Porter, Akshay Agrawal, Janos Sztipanovits. Formalization of software models for cyber-physical systems. In Stefania Gnesi, Nico Plat, editors, Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014. pages 45-51, ACM, 2014. [doi]

Authors

Sandeep Neema

This author has not been identified. Look up 'Sandeep Neema' in Google

Gabor Simko

This author has not been identified. Look up 'Gabor Simko' in Google

Tihamer Levendovszky

This author has not been identified. Look up 'Tihamer Levendovszky' in Google

Joseph Porter

This author has not been identified. Look up 'Joseph Porter' in Google

Akshay Agrawal

This author has not been identified. Look up 'Akshay Agrawal' in Google

Janos Sztipanovits

This author has not been identified. It may be one of the following persons: Look up 'Janos Sztipanovits' in Google
runs on