Skip to main content
×
Search form
Home
About
Quality
Research Integrity
Policies & Procedures
Research & Innovation Strategy
Research Dashboard
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
Case Studies
Podcasts
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
The University of Limerick facebook
The University of Limerick Twitter
The University of Limerick Instagram
The University of Limerick on linked in
The University of Limerick on you-tube
The University of Limerick on Snap Chat
Home
About
Quality
Research Integrity
Policies & Procedures
Research & Innovation Strategy
Research Dashboard
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
Case Studies
Podcasts
President’s Research Excellence and Impact Awards
Contact
Covid-19
Search University of Limerick website
EN
GA
Search University of Limerick website
Toggle main navigation
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)
