Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Observability of Boolean Control Networks: New Definition and Verification Algorithm
Wu, Guisen; Liu, Zhiming; PANG, Jun
2024In Lecture Notes in Computer Science
Peer reviewed
 

Files


Full Text
ICFEM24.pdf
Author postprint (1.28 MB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Wu, Guisen 
Liu, Zhiming 
PANG, Jun  ;  University of Luxembourg
External co-authors :
yes
Language :
English
Title :
Observability of Boolean Control Networks: New Definition and Verification Algorithm
Publication date :
2024
Event name :
25th International Conference on Formal Engineering Methods
Event place :
Japan
Event date :
2024/12
Main work title :
Lecture Notes in Computer Science
Publisher :
Springer Nature Singapore
ISBN/EAN :
9789819606177
9789819606160
Collection name :
LNCS 15394
Pages :
278-296
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 03 December 2024

Statistics


Number of views
34 (0 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
0
Scopus citations®
without self-citations
0
OpenCitations
 
0
OpenAlex citations
 
0

Bibliography


Similar publications



Contact ORBilu