( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automation of Test Case Generation from Behavior Tree Requirements Models.

, , , и . ASWEC, стр. 118-127. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Lindsay McDonough

Lindsay Murrells

Alan Lindsay

Jan Marie Lindsay

Dennis Ray Lindsay

 

Другие публикации лиц с тем же именем

A Support System for Formal Reasoning: Requirements and Status., и . VDM Europe, том 328 из Lecture Notes in Computer Science, стр. 139-152. Springer, (1988)Specification-Based Retrieval Strategies for Module Reuse., и . Australian Software Engineering Conference, стр. 235-243. IEEE Computer Society, (2001)Module Testing Embedded Software--An Industrial Pilot Project., , , и . ICECCS, стр. 233-. IEEE Computer Society, (2001)On transferring VDM verification techniques to Z.. FME, том 873 из Lecture Notes in Computer Science, стр. 190-213. Springer, (1994)A Precise Examination of the Behaviour of Process Models., и . FME, том 873 из Lecture Notes in Computer Science, стр. 251-270. Springer, (1994)Supporting Fine-Grained Traceability in Software Development Environments., и . SCM, том 1439 из Lecture Notes in Computer Science, стр. 133-139. Springer, (1998)Proof in VDM: A Practitioner's Guide, , , , и . Formal approaches to computing and information technology Springer, (1994)A hierarchical conflict resolution method for multi-agent path planning., , , и . IEEE Congress on Evolutionary Computation, стр. 1169-1176. IEEE, (2009)Maintaining Consistency Under Changes to Formal Specifications., и . FME, том 670 из Lecture Notes in Computer Science, стр. 558-577. Springer, (1993)Automation of Test Case Generation from Behavior Tree Requirements Models., , , и . ASWEC, стр. 118-127. IEEE Computer Society, (2015)