ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Case study “production cell”: A comparative study in formal specification and verification
KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Lecture Notes in Computer Science
◽
10.1007/bfb0015473
◽
1995
◽
pp. 388-416
◽
Cited By ~ 9
Author(s):
Claus Lewerentz
◽
Thomas Lindner
Keyword(s):
Comparative Study
◽
Formal Specification
◽
Formal Specification And Verification
◽
Specification And Verification
◽
Production Cell
Download Full-text
Related Documents
Cited By
References
FORMAL SPECIFICATION AND VERIFICATION OF MULTI-AGENT ROBOTICS SOFTWARE SYSTEMS - A Case Study
Proceedings of the International Conference on Agents and Artificial Intelligence
◽
10.5220/0001657904750482
◽
2009
◽
Keyword(s):
Formal Specification
◽
Software Systems
◽
Formal Specification And Verification
◽
Multi Agent
◽
Specification And Verification
Download Full-text
Case study: Formal specification and verification of railway interlocking system
Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey
◽
10.1109/eurmic.2001.952462
◽
2002
◽
Author(s):
T. Hlavaty
◽
L. Preucil
◽
P. Stepan
Keyword(s):
Formal Specification
◽
Formal Specification And Verification
◽
Specification And Verification
Download Full-text
Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study
Mobile Agents - Lecture Notes in Computer Science
◽
10.1007/3-540-45647-3_4
◽
2001
◽
pp. 42-53
◽
Cited By ~ 3
Author(s):
Xavier Hannotin
◽
Paolo Maggi
◽
Riccardo Sisto
Keyword(s):
Mobile Agent
◽
Formal Specification
◽
Data Integrity
◽
Formal Specification And Verification
◽
Specification And Verification
Download Full-text
Formal specification and verification of hardware: a comparative case study
25th ACM/IEEE, Design Automation Conference.Proceedings 1988.
◽
10.1109/dac.1988.14758
◽
2003
◽
Cited By ~ 10
Author(s):
V. Stavridou
◽
H. Barringer
◽
D.A. Edwards
Keyword(s):
Formal Specification
◽
Comparative Case Study
◽
Formal Specification And Verification
◽
Specification And Verification
Download Full-text
Formal specification and verification of a procedural protocol: case study
Software Engineering Journal
◽
10.1049/sej.1995.0013
◽
1995
◽
Vol 10
(3)
◽
pp. 97
◽
Cited By ~ 1
Author(s):
R. Lai
Keyword(s):
Formal Specification
◽
Formal Specification And Verification
◽
Specification And Verification
Download Full-text
Formal Specification and Verification of System of Systems Using UPPAAL: A Case Study of a Defensive Missile Systems
Journal of Communications
◽
10.12720/jcm.12.8.482-488.
◽
2017
◽
Author(s):
Joon-Ha Jang
◽
◽
Jin-Young Choi
Keyword(s):
Formal Specification
◽
System Of Systems
◽
Formal Specification And Verification
◽
Specification And Verification
Download Full-text
Formal Specification and Verification of System of Systems Using UPPAAL: A Case Study of a Defensive Missile Systems
Journal of Communications
◽
10.12720/jcm.12.8.482-488
◽
2017
◽
pp. 482-488
Author(s):
Joon-Ha Jang
◽
◽
Jin-Young Choi
Keyword(s):
Formal Specification
◽
System Of Systems
◽
Formal Specification And Verification
◽
Specification And Verification
Download Full-text
Proceedings of the IDA Workshop on Formal Specification and Verification of Ada (Trade Name) (3rd) Held in Research Triangle Park, North Carolina on 14-16 May 1986
10.21236/ada226984
◽
1986
◽
Author(s):
William T. Mayfield
◽
John Chludzinski
◽
John McHugh
◽
Stephen R. Welke
Keyword(s):
North Carolina
◽
Formal Specification
◽
Research Triangle
◽
Trade Name
◽
Formal Specification And Verification
◽
Specification And Verification
Download Full-text
Formal Specification and Verification of Concurrent Programs
10.21236/ada265201
◽
1993
◽
Cited By ~ 2
Author(s):
Daniel M. Berry
Keyword(s):
Formal Specification
◽
Concurrent Programs
◽
Formal Specification And Verification
◽
Specification And Verification
Download Full-text
Formal Specification and Verification of Self-Adaptive Concurrent Systems
IEEE Access
◽
10.1109/access.2018.2849821
◽
2018
◽
Vol 6
◽
pp. 34790-34803
◽
Cited By ~ 2
Author(s):
Muhammad Ilyas Fakhir
◽
Syed Asad Raza Kazmi
Keyword(s):
Formal Specification
◽
Concurrent Systems
◽
Formal Specification And Verification
◽
Specification And Verification
◽
Self Adaptive
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close