Author:
Henzinger Thomas A.,Sifakis Joseph
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138(1), 3–34 (1995)
2. Balarin, F., Watanabe, Y., Hsieh, H., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A.L.: Metropolis: An integrated electronic system design environment. IEEE Computer 36(4), 45–52 (2003)
3. Balasubramanian, K., Gokhale, A.S., Karsai, G., Sztipanovits, J., Neema, S.: Developing applications using model-driven design environments. IEEE Computer 39(2), 33–40 (2006)
4. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 34–43 (2001)
5. Burns, A., Wellings, A.: Real-Time Systems and Programming Languages, 3rd edn. Addison-Wesley, Reading (2001)
Cited by
94 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Optimization of Electrode Configuration for the Removal of Eye Artifacts with Adaptive Noise Cancellation;2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2023-10-01
2. Brain-eNet: Towards an Enabling Technology for BCI-IoT Systems;2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2023-10-01
3. Towards Rehosting Embedded Applications as Linux Applications;2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S);2023-06
4. End-to-end Timing Modeling and Analysis of TSN in Component-Based Vehicular Software;2023 IEEE 26th International Symposium on Real-Time Distributed Computing (ISORC);2023-05
5. A real-time omnidirectional target detection system based on FPGA;Multimedia Tools and Applications;2023-03-21