The Unknown Component Problem
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer US

9780387345321, 9780387687599
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fundamental Operations in BALM

2011 ◽  
pp. 157-169
Author(s):  
Tiziano Villa ◽  
Nina Yevtushenko ◽  
Robert K. Brayton ◽  
Alan Mishchenko ◽  
Alexandre Petrenko ◽  
...  

Implementation of Automata Manipulations

2011 ◽  
pp. 109-120
Author(s):  
Tiziano Villa ◽  
Nina Yevtushenko ◽  
Robert K. Brayton ◽  
Alan Mishchenko ◽  
Alexandre Petrenko ◽  
...  

Equations Over Finite State Machines

2011 ◽  
pp. 37-71
Author(s):  
Tiziano Villa ◽  
Nina Yevtushenko ◽  
Robert K. Brayton ◽  
Alan Mishchenko ◽  
Alexandre Petrenko ◽  
...  
Keyword(s):  
Finite State Machines ◽  
State Machines ◽  
Finite State

Supervisory Control

2011 ◽  
pp. 247-265
Author(s):  
Tiziano Villa ◽  
Nina Yevtushenko ◽  
Robert K. Brayton ◽  
Alan Mishchenko ◽  
Alexandre Petrenko ◽  
...  
Keyword(s):  
Supervisory Control

Language Solving Using Simulation Relations

2011 ◽  
pp. 211-225
Author(s):  
Tiziano Villa ◽  
Nina Yevtushenko ◽  
Robert K. Brayton ◽  
Alan Mishchenko ◽  
Alexandre Petrenko ◽  
...  
Keyword(s):  
Simulation Relations

Computation of Sequential Flexibility in Networks of FSMs by Windowing

2011 ◽  
pp. 195-210
Author(s):  
Tiziano Villa ◽  
Nina Yevtushenko ◽  
Robert K. Brayton ◽  
Alan Mishchenko ◽  
Alexandre Petrenko ◽  
...  

Extending BALM to Synchronous Equations Over co-Büchi Specifications

2011 ◽  
pp. 283-297
Author(s):  
Tiziano Villa ◽  
Nina Yevtushenko ◽  
Robert K. Brayton ◽  
Alan Mishchenko ◽  
Alexandre Petrenko ◽  
...  

Testing

2011 ◽  
pp. 267-274
Author(s):  
Tiziano Villa ◽  
Nina Yevtushenko ◽  
Robert K. Brayton ◽  
Alan Mishchenko ◽  
Alexandre Petrenko ◽  
...  

Exploitation of Flexibility in Sequential Networks

2011 ◽  
pp. 227-243
Author(s):  
Tiziano Villa ◽  
Nina Yevtushenko ◽  
Robert K. Brayton ◽  
Alan Mishchenko ◽  
Alexandre Petrenko ◽  
...  

Computation of Sequential Flexibility in Netlists by Windowing

2011 ◽  
pp. 185-194
Author(s):  
Tiziano Villa ◽  
Nina Yevtushenko ◽  
Robert K. Brayton ◽  
Alan Mishchenko ◽  
Alexandre Petrenko ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document