Author:
Talpin Jean-Pierre,Guernic Paul Le,Shukla Sandeep Kumar,Gupta Rajesh
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Theoretical Computer Science,Software
Reference25 articles.
1. Talpin J.-P., Gamatié A., B. Le Dez, D. Berner, and P. Le Guernic, Hard Real-Time Implementation of Embedded Software in JAVA, in FIDJI’2003, Lectures notes in computer science, Springer (2003)
2. A. Benveniste, P. Le Guernic, and C. Jacquemot, Synchronous Programming with Events and Relations: The signal Language and its Semantics, in Science of Computer Programming, Vol. 16 Elsevier (1991)
3. A. Gamatié, and T. Gautier. Synchronous Modeling of Avionics Applications using the signal Language, in Real-time embedded technology and applications symposium, IEEE Press (2002)
4. J.-P. Talpin, P. Le Guernic, S. Shukla, R. Gupta, and F Doucet, Formal Refinement Checking in a System-Level Design Methodology, Fundamenta Informaticae, IOS Press (2004)
5. J.-P. Talpin, D. Berner, S. K. Shukla, P. Le Guernic, and R. Gupta, A Behavioral type Inference System for Compositional System Design, Application of Concurrency to System Design, IEEE Press (2004)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献