Skip to main content
×
Search form
Home
About
Quality
Research Integrity
Policies & Procedures
Research & Innovation Strategy
Enterprise & Innovation
Nexus Innovation Centre
Enterprise Partnerships
Technology Transfer Office
Facilities & Equipment
Licencing Opportunities
Institutes & Centres
Bernal Institute
Health Research Institute
A-Z Research Centres
Expertise
Researcher Profiles
Find An Expert
Research Impact
President’s Research Excellence and Impact Awards
Contact
Covid-19
Student Gateway
Staff Gateway
A-Z Directory
Campus Phone Directory
Contact UL
Student Gateway
Staff Gateway
A-Z Directory
Campus Phone Directory
Contact UL
EN
GA
Follow us
Home
About
Quality
Research Integrity
Policies & Procedures
Research & Innovation Strategy
Enterprise & Innovation
Nexus Innovation Centre
Enterprise Partnerships
Technology Transfer Office
Facilities & Equipment
Licencing Opportunities
Institutes & Centres
Bernal Institute
Health Research Institute
A-Z Research Centres
Expertise
Researcher Profiles
Find An Expert
Research Impact
President’s Research Excellence and Impact Awards
Contact
Covid-19
EN
GA
Publication
Home
|
Formally Verifying Aspects of Time-Triggered Controller Area Network (phases 1 and 2a)
Formally Verifying Aspects of Time-Triggered Controller Area Network (phases 1 and 2a)
Leen G; Heffernan, D
(2002)
