From post

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.

 

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

Larch: Languages and Tools for Formal Specification, , , , , и . Texts and Monographs in Computer Science Springer, (1993)Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch., , и . DAC, стр. 440-443. IEEE, (2007)A Formal Semantics for a DataFlow Machine - Using VDM.. VDM Europe, том 252 из Lecture Notes in Computer Science, стр. 331-355. Springer, (1987)Rapid Flight Control Prototyping - Steps toward cooperative mission-oriented capabilities., , и . ACC, стр. 680-685. IEEE, (2013)Inevitability of Phase-locking in a Charge Pump Phase Lock Loop using Deductive Verification., и . ACM Great Lakes Symposium on VLSI, стр. 295-300. ACM, (2015)Towards a Digital Twin of a Complex Maritime Site for Multi-Objective Optimization., , , и . CyCom, стр. 331-345. IEEE, (2022)Security Implications of a Satellite Communication Device on Wireless Networks Using Pentesting., , , и . WiMob, стр. 292-298. IEEE, (2023)A Semantics for a Larch/Modula-3 Interface Language.. Larch, стр. 142-158. Springer, (1992)Modeling Security Policy and the Effect for End-Users., и . HCI (27), том 8030 из Lecture Notes in Computer Science, стр. 256-265. Springer, (2013)Support Environments for VDM.. VDM Europe, том 252 из Lecture Notes in Computer Science, стр. 110-117. Springer, (1987)