Paper Info
Title
Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models.
Year
DOI
Venue
2013
10.1007/978-3-642-38911-5_6
SDL Forum
Field
DocType
Citations 
Petri net,Programming language,Unified Modeling Language,Computer science,Static analysis,Reachability,Artificial intelligence,Systems Modeling Language,Avatar,Mutual exclusion,Formal verification
Conference
1
PageRank 
References 
Authors
0.36
10
2
Name
Order
Citations
PageRank
Ludovic Apvrille113622.23
Pierre de Saqui-Sannes213318.91