Formal design and analysis of a gear controller-Reference-Cited by-同舟云学术

Formal design and analysis of a gear controller

Published:1998 Issue: Volume: Page:281-297
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Lindahl Magnus,Pettersson Paul,Yi Wang

Publisher

Springer Berlin Heidelberg

Link

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

Reference8 articles.

1. R. Alur and D. Dill. Automata for Modelling Real-Time Systems. Theoretical Computer Science, 126(2):183–236, April 1994.

2. Johan Bengtsson, David Griffioen, Kåre Kristoffersen, Kim G. Larsen, Predrik Larsson, Paul Pettersson, and Wang Yi. Verification of an Audio Protocol with Bus Collision Using Uppaal. In Rajeev Alur and Thomas A. Henzinger, editors, Proc. of 8th Int. Conf. on Computer Aided Verification, number 1102 in Lecture Notes in Computer Science, pages 244–256. Springer-Verlag, July 1996.

3. Johan Bengtsson, Kim G. Larsen, Predrik Larsson, Paul Pettersson, and Wang Yi. Uppaal in 1995. In Proc. of the 2nd Workshop on Tools and Algorithms for the Construction and Analysis of Systems, number 1055 in Lecture Notes in Computer Science, pages 431–434. Springer-Verlag, Mars 1996.

4. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool Kronos. In Rajeev Alur, Thomas A. Henzinger, and Eduardo D. Sontag, editors, Proc. of Workshop on Verification and Control of Hybrid Systems III, Lecture Notes in Computer Science, pages 208–219. Springer-Verlag, October 1995.

5. Thomas A. Henzinger, Pei-Hsin Ho, and Howard Wong-Toi. HyTech: The Next Generation. In Proc. of the 16th IEEE Real-Time Systems Symposium, pages 56–65, December 1995.

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

1. Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems;Ingeniería y Competitividad;2023-11-29

2. Formal Verification of Twin Clutch Gear Control;VAWKUM Transactions on Computer Sciences;2022-12-30

3. Monitoring Timed Properties (Revisited);Lecture Notes in Computer Science;2022

4. Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata;Formal Aspects of Component Software;2020

5. Sampling strategies for product lines with unbounded parametric real-time constraints;International Journal on Software Tools for Technology Transfer;2019-09-24