Search
Now showing items 1-6 of 6
Formal Specification and Transformation Method of System Requirements from B Method to AADL Model
Publisher: IEEE
Year: 2014
Quadtree-based optimal path routing with the smallest routing table size
Publisher: IEEE
Year: 2014