Amanote Research
Register
Sign In
Modeling and Verification of a Time-Triggered Networking Protocol
doi 10.1109/icniconsmcl.2006.150
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
G. Leen
D. Heffernan
Publisher
IEEE
Related search
An Overview of Formal Verification for the Time-Triggered Architecture
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
IEEE Transactions on Software Engineering
Software
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Polynomial Time Verification of Behavioral Inheritance for Interworkflows Based on WfMC Protocol
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Electronic Engineering
Computer Graphics
Signal Processing
Applied Mathematics
Electrical
Computer-Aided Design
Design and Verification of AMBA APB Protocol
International Journal of Computer Applications
Verification of Protocol Conformance and Agent Interoperability
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Protocol Verification in Nuprl
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Drug Combinations: Mathematical Modeling and Networking Methods
Pharmaceutics
Pharmaceutical Science
