Efficient symbolic state-space construction for asynchronous systems
An edition of Efficient symbolic state-space construction for asynchronous systems (1999)
By Gianfranco Ciardo
Publish Date
1999
Publisher
Institute for Computer Applications in Science and Engineering, NASA Langley Research Center,National Technical Information Service, distributor
Language
eng
Pages
-
Description:
subjects: Complex systems, Construction, Synchronism, Systems analysis