ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
A tool for visual specification and verification for secure process movements
eChallenges e-2015 Conference
◽
10.1109/echallenges.2015.7440971
◽
2015
◽
Cited By ~ 3
Author(s):
Yeongbok Choe
◽
Woorim Choi
◽
Gyeongeon Jeon
◽
Moonkun Lee
Keyword(s):
Specification And Verification
◽
Visual Specification
Download Full-text
Related Documents
Cited By
References
WiSPY: A Tool for Visual Specification and Verification of Spatial Integrity Constraints
Proceedings of the 21st International Conference on Distributed Multimedia Systems
◽
10.18293/vlss2015-018
◽
2015
◽
Author(s):
Vincenzo Del Fatto
◽
Vincenzo Deufemia
◽
Luca Paolino
◽
Sara Tumiati
Keyword(s):
Integrity Constraints
◽
Specification And Verification
◽
Visual Specification
Download Full-text
SAVE: An Environment for Visual Specification and Verification of IoT
2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW)
◽
10.1109/edocw.2016.7584384
◽
2016
◽
Cited By ~ 6
Author(s):
Yeongbok Choe
◽
Sunghyeon Lee
◽
Moonkun Lee
Keyword(s):
Specification And Verification
◽
Visual Specification
Download Full-text
Geometrical product specifications (GPS). Features utilized in specification and verification
10.3403/30154332u
◽
2015
◽
Keyword(s):
Specification And Verification
◽
Product Specifications
Download Full-text
Standard for SystemVerilog. Unified hardware design, specification and verification language
10.3403/30167898u
◽
2015
◽
Keyword(s):
Hardware Design
◽
Design Specification
◽
Specification And Verification
Download Full-text
Real-Time System: Specification and Verification
10.21236/ada206467
◽
1989
◽
Author(s):
K. T. Narayana
Keyword(s):
Real Time
◽
System Specification
◽
Time System
◽
Real Time System
◽
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
An Integrated Specification and Verification Environment for Component-Based Architectures of Large-Scale Distributed Systems
10.21236/ada501823
◽
2009
◽
Cited By ~ 1
Author(s):
John Hatcliff
◽
Torben Amtoft
◽
Anindya Banerjee
Keyword(s):
Distributed Systems
◽
Large Scale
◽
Specification And Verification
Download Full-text
History-based specification and verification of Java collections in KeY (keynote)
Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs
◽
10.1145/3427761.3432349
◽
2020
◽
Author(s):
Frank S. de Boer
◽
Hans-Dieter A. Hiep
Keyword(s):
Specification And Verification
Download Full-text
Specification and verification of web services transactions
Proceedings of the Fourth SIGMOD PhD Workshop on Innovative Database Research - IDAR '10
◽
10.1145/1811136.1811143
◽
2010
◽
Author(s):
Iman Saleh
◽
Gregory Kulczycki
◽
M. Brian Blake
Keyword(s):
Web Services
◽
Specification And Verification
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close