Skip to main content

Site search

Follow Us

Global Navigation

Library
Student Gateway
Staff Gateway
A-Z Directory
Campus Phone Directory
Contact UL

Group Main Menu

Home
About
Enterprise and innovation
Institutes and centres
Expertise
- Researcher Profiles
- Find an expert
Research Impact
Doctoral College
Contact us

CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY

Breadcrumbs

UL Home
Research
Publications

Author

Authors

Arbuckle, T,Hogan, D,Ryan, C,Lee, G,Howard, D,Slezak, D,Hong, YS

Year of Publication

2012

Journal

Leveraging Applications Of Formal Methods, Verification, And Validation

Have a Question? Contact us! Request a copy of our Prospectus

University of Limerick
Limerick
V94 T9PX
Ireland

Tel: +353 61 202700

Registered Charity Number CHY20009274

About UL

Study at UL
Faculties & Departments
UL Campus
A-Z Directory
Join the team at UL
Contact Us

Useful Links

Academic calendar
Student email
Student gateway
Staff email
Staff gateway

Website

Disclaimer
Cookie Statement
Privacy Notices
Accessibility statement

Follow Us

Follow University of Limerick on Facebook
Follow University of Limerick on X/Twitter
Follow University of Limerick on Instagram
Follow University of Limerick on LinkedIn
Follow University of Limerick on YouTube
Follow University of Limerick on TikTok

© University of Limerick