Dealing with different time granularities in formal specifications of real-time systems-Reference-Cited by-同舟云学术

Dealing with different time granularities in formal specifications of real-time systems

Published:1991-05 Issue:2 Volume:3 Page:191-215
ISSN:0922-6443
Container-title:Real-Time Systems
language:en
Short-container-title:The Journal of Real-Time Systems

Author:

Corsetti Edoardo,Montanari Angelo,Ratto Elena

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modelling and Simulation,Control and Systems Engineering

Link

http://link.springer.com/content/pdf/10.1007/BF00365335.pdf

Reference37 articles.

1. Auernheimer, B., Kemmerer, R. 1986. RT-ASLAN: A Specification Language for Real-Time Systems. IEEE TSE, vol. SE-12.

2. Bell, J., Machover, M. 1977. A Course in Mathematical Logic. Amsterdam: North-Holland.

3. Ben-Ari, M., Pnueli, A., Manna, Z. 1983. The Temporal Logic of Branching Time. Acta Informatica.

4. Borgida, A., Greenspan, S., Mylopoulos, J. 1985. Knowledge Representation as the Basis for Requirements Specifications. IEEE Computer, vol. 18(4).

5. Brachman, R., J. 1983. What IS-A is and isn't: an Analysis of Taxonomic Links in Semantic Networks. IEEE Computer, vol. 16.

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Deriving Specifications of Control Programs for Cyber Physical Systems;The Computer Journal;2019-04-30

2. A timeband framework for modelling real-time systems;Real-Time Systems;2010-04-20

3. The Formal Design Model of an Automatic Teller Machine (ATM);International Journal of Software Science and Computational Intelligence;2010-01

4. The Formal Design Model of a Lift Dispatching System (LDS);International Journal of Software Science and Computational Intelligence;2009-10

5. RTPA;International Journal of Cognitive Informatics and Natural Intelligence;2008-04