From LOTOS to LNT-Reference-Cited by-同舟云学术

From LOTOS to LNT

Published:2017 Issue: Volume: Page:3-26
ISSN:0302-9743
Container-title:ModelEd, TestEd, TrustEd
language:
Short-container-title:

Author:

Garavel Hubert,Lang Frédéric,Serwe Wendelin

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-68270-9_1

Reference103 articles.

1. Lecture Notes in Computer Science;R Abid,2013

2. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)

3. Lecture Notes in Computer Science;F Arnold,2013

4. Berthomieu, B., Bodeveix, J.P., Farail, P., Filali, M., Garavel, H., Gaufillet, P., Lang, F., Vernadat, F.: FIACRE: an intermediate language for model verification in the TOPCASED environment. In: Laprie, J.C. (ed.) Proceedings of the 4th European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, France, January 2008

5. Lecture Notes in Computer Science;B Berthomieu,1994

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

1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21

2. Modelling the Raft Distributed Consensus Protocol in mCRL2;Electronic Proceedings in Theoretical Computer Science;2024-03-27

3. Four Formal Models of IEEE 1394 Link Layer;Electronic Proceedings in Theoretical Computer Science;2024-03-27

4. Testing Resource Isolation for System-on-Chip Architectures;Electronic Proceedings in Theoretical Computer Science;2024-03-27

5. A Toolchain to Compute Concurrent Places of Petri Nets;Transactions on Petri Nets and Other Models of Concurrency XVII;2023-11-01