Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by T. Weigert
Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications
Computer Networks
Computer Networks
Communications
Related publications
Quantifying the Discord: Order Discrepancies in Message Sequence Charts
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
TRIM: A Tool for Triggered Message Sequence Charts
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Prognostic Charts
Bulletin of the American Meteorological Society
Atmospheric Science
Testable Requirements and Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Requirements and Specifications for Adaptive Security
Verification of EB3 Specifications Using CADP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Protocols
Message Tracking Model and Requirements
