Concepedia

Author

B. Labaw

United States Naval Research Laboratory

Also Known As

B. Labaw, B.G. Labaw, Bruce G. Labaw, Bruce Labaw

23

Publications

1.6K

Citations

13

H-Index

30

Concepts

All Affiliations

United States Naval Research LaboratoryNaval Research Laboratory Information Technology Division
BL

About

B. Labaw is an author at United States Naval Research Laboratory specializing in formal methods, formal verification, and systems engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

9

9

1.1K

2

Computer Science

9

9

1.1K

3

Systems Engineering

9

9

1.1K

4

Computer Engineering

5

5

790

5

Complex Systems

1

1

55

B. Labaw

×

12

Publications

1.3K

Citations

11

H-Index

YearCitations

Page 1