Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by John Rushby
An Overview of Formal Verification for the Time-Triggered Architecture
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
IEEE Transactions on Software Engineering
Software
The Fault Hypothesis for the Time-Triggered Architecture
Formal Specification and Verification of Communication in Network-On-Chip: An Overview
International Journal of Recent Contributions from Engineering, Science & IT (iJES)
Computer-Aided Dispatch System Family Architecture and Verification: An Integrated Formal Approach
IEE Proceedings - Software
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modeling and Verification of a Time-Triggered Networking Protocol
Formal Verification of User-Level Real-Time Property Patterns
Formal Verification of UML Statecharts With Real-Time Extensions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Real-Time Systems With Preemptive Scheduling
Real-Time Systems
Control
Systems Engineering
Optimization
Electronic Engineering
Computer Networks
Simulation
Communications
Computer Science Applications
Electrical
Modeling
