Search

Filters

Use filters to refine the search results.

Current Filters:


New Filters:

Showing 1 out of a total of 1 results for community: Center for Creative Learning (CCL). (0.003 seconds)

Now showing items 1-1 of 1

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

SMT-based verification of safety-critical embedded control software

Adhikary, Sunandan; Gurung, Amit; Thakkar, Jay; Da Costa, Antonio Bruto; Dey, Soumyajit; Hazra, Aritra; Dasgupta, Pallab (Institute of Electrical and Electronics Engineers, 2020-11)

Now showing items 1-1 of 1

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Browse

All of DSpace
This Community
- Titles
- Authors
- By Advisor
- By Issue Date
- Subjects
- By Type
- By Degree
- By Department

My Account

Login

Discover

Author
Subject
- ?-Approximation (1)
- Control Software Verification (1)
- Sampled Data Systems (1)
- ... View More
Date Issued
- 2020 (1)