Research challenges in embedded and hybrid systems

Authors:
Insup Lee;Oleg Sokolsky
Affiliations:
Department of Computer and Information Science, University of Pennsylvania;Department of Computer and Information Science, University of Pennsylvania
Venue:
ACM SIGBED Review
Year:
2004

Citing 3
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
The Temporal Rover and the ATG Rover

Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Simulation Using Modelica

Proceedings of the 12th European Simulation Multiconference on Simulation - Past, Present and Future

Quantified Score

Hi-index	0.00

Visualization

Abstract