NDSU Repository

Filter by: Subject

NDSU Repository Home
NDSU Theses & Dissertations
Electrical & Computer Engineering
Filter by: Subject

NDSU Repository Home
NDSU Theses & Dissertations
Electrical & Computer Engineering
Filter by: Subject

JavaScript is disabled for your browser. Some features of this site may not work without it.

Filter by: Subject

Results Per Page:

Now showing items 1-6 of 1

5
10
20
40
60
80
100

critical systems (1)
formal specifications (1)
formal verification (1)
model checking (1)
refinement maps (1)
refinement-based verification (1)

Student Focused, Land Grant, Research Institution

Campus Map
Equity
Employment
Phone/Email Directory
Online Services
Registration And Records
- Course Schedule
- Dates and Deadlines

North Dakota State University - Libraries

Circulation: (701) 231-8888 | Reference: (701) 231-8886

Administration: (701) 231-8753

Main Library address: 1201 Albrecht Boulevard

Mailing address: Dept #2080 PO Box 6050, Fargo, ND 58108-6050

Site manager: Site manager

Search NDSU Repository

This Community

Advanced Search

Browse

All of NDSU Repository Communities & Collections By Issue Date Authors Titles Subjects This Community By Issue Date Authors Titles Subjects

My Account

Student Focused, Land Grant, Research Institution

Campus Map
Equity
Employment
Phone/Email Directory
Online Services
Registration And Records
- Course Schedule
- Dates and Deadlines

North Dakota State University - Libraries

Circulation: (701) 231-8888 | Reference: (701) 231-8886

Administration: (701) 231-8753

Main Library address: 1201 Albrecht Boulevard

Mailing address: Dept #2080 PO Box 6050, Fargo, ND 58108-6050

Site manager: Site manager