1
Publications
29
Citations
1
H-Index
1995
Active since
M Williams is an author specializing in logistics, software engineering, and formal verification.
Top concepts
BusinessLogisticsEngineeringFormal MethodsTransportationSoftware DesignSystem SoftwareFormal VerificationOperations ResearchSystems Engineering
Publications per year
1995–1995
1
1
AN OPERATIONAL DESCRIPTION OF TRANSIMS
Curtis L. Barrett, K.P. Berkbigler, L.A. Smith et al. · 1995 · 29 citations
Transport Network Analysis, Transims Operational Description, Engineering +21
Rows per page
1–1 of 1