Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mickaël Kerbœuf
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Loosely Time-Triggered Architectures
Transactions on Embedded Computing Systems
Hardware
Architecture
Software
A Unifying View of Loosely Time-Triggered Architectures
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
IEEE Transactions on Software Engineering
Software
An Overview of Formal Verification for the Time-Triggered Architecture
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Virtual Prototyping AADL Architectures in a Polychronous Model of Computation
Modeling and Verification of a Time-Triggered Networking Protocol
Polychronous Automata and Their Use for Formal Validation of AADL Models
Frontiers of Computer Science
Computer Science
Theoretical Computer Science
Informal Proof, Formal Proof, Formalism
Review of Symbolic Logic
Mathematics
Philosophy
Logic
Model-Based System Design of Time-Triggered Architectures - Avionics Case Study
