Find link

language:

Find link is a tool written by Edward Betts.

searching for Gerard J. Holzmann 3 found (15 total)

Macro and security (2,478 words) [view diff] exact match in snippet view article find links to article

MacroML". Macro Language. 36 (10): 74–85. doi:10.1145/507669.507646. Gerard J. Holzmann. "The power of ten - Rules for developing safety critical code" (PDF)

List of model checking tools (1,176 words) [view diff] exact match in snippet view article find links to article

protocol for consumer electronics. In 2003, Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, and Scott A. Smolka published a comparison of four model checkers

Telegraphy (9,814 words) [view diff] exact match in snippet view article find links to article

Ancient Times to the 21st Century, ABC-CLIO, 2008 ISBN 1851097325. Gerard J. Holzmann; Björn Pehrson, The Early History of Data Networks, IEEE Computer