Parallel state space exploration of linear systems with inputs using XSpeed
2008 ◽
Vol 34
(5)
◽
pp. 597-613
◽
1994 ◽
pp. 364-376
◽
2003 ◽
pp. 462-481
◽
Keyword(s):
Keyword(s):
Keyword(s):
2010 ◽
Vol 18
(9)
◽
pp. 1225-1241
◽
Keyword(s):