Search Results
Showing 1 - 4 results of 4 for search '"model checking"', query time: 0.05s Refine ResultsPlease enable Javascript.
Please upgrade your browser.
Search Tools:
Get RSS Feed
Narrow Search
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking
4
ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.7: Simulation Support Systems
4
Parallel
4
[INFO.INFO-DC]Computer Science [cs]/Distributed
4
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
4
and Cluster Computing [cs.DC]
4
distributed systems
model checking
4
partial-order reduction
4
simulation
4
see all ...