Discover open access scientific publications

Search, annotate, share and cite publications

Publications by James Ivers

Lessons Learned Model Checking an Industrial Communications Library

2005English

Reasoning Frameworks

2005English

Related publications

Lessons Learned From Model Checking a NASA Robot Controller

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2004English

Some Lessons Learned in the Industrial Bioeconomy

Biofuels, Bioproducts and Biorefining
Bioengineeringthe EnvironmentSustainabilityRenewable Energy
2019English

Benefits of Bounded Model Checking at an Industrial Setting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Lessons Learned

Advances in Social Work
2020English

Lessons Learned

Journal of the American Dental Association
MedicineDentistry
2008English

Lessons Learned

2019English

Could an Agile Requirements Analysis Be Automated?—Lessons Learned From the Successful Overhauling of an Industrial Automation System

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Lessons Learned From Chikungunya

Retrovirology
VirologyInfectious Diseases
2010English

Lessons Learned From 25 Years of PMIP Model-Data Distribution

Past Global Change Magazine
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy