Constance Heitmeyer

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Constance Heitmeyer from the United States Naval Research Laboratory, Washington, DC was named Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 2015[1] for "contributions to formal methods for modeling and analyzing software and systems".

References

[edit | edit source]
  1. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).

Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).