IDR Home
→
Search

Search

Filters

Use filters to refine the search results.

Current Filters:








New Filters:

Showing 1 out of a total of 1 results. (0.001 seconds)

Now showing items 1-1 of 1

1

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

Algorithms for Formal Feature Analysis and Inference Learning for Hybrid Systems

Anastasio, Bruto da Costa Antonio (IIT Kharagpur, 2020-07)

Now showing items 1-1 of 1

1

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

Browse

All of DSpace

My Account

Login

Discover

Author
- Anastasio, Bruto da Costa Antonio (1)
Subject
- Formal languages (1)
- Formal verification (1)
- Hybrid automata (1)
- Reachability analysis (1)
- Time series (1)
- ... View More
Date Issued
- 2020 (1)
Has File(s)
- Yes (1)