Author of the publication

Formal Framework for Ensuring Consistent System and Component Theories in the Design of Small Satellite Systems.

, , , and . CSDM (Posters), volume 1234 of CEUR Workshop Proceedings, page 263-281. CEUR-WS.org, (2014)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Systems Engineering Education for East Africa., , , and . CSDM, page 203-214. Springer, (2016)IIR Filter Adaptation Using Branch-and-Bound: A Novel Approach., and . IEEE Trans. Circuits Syst. I Regul. Pap., 55-I (11): 3393-3403 (2008)Formal Behavioral Requirements Management., , and . IEEE Syst. J., 12 (3): 3006-3017 (2018)A Stackelberg Game-theoretic Model for Interference Management in Inter-satellite Communication Networks., , and . WiSEE, page 62-67. IEEE, (2018)Boundary value transient suppression for N-D digital systems., and . ICASSP, page 840-843. IEEE, (1988)Formal requirement management for the Responsive and Formal Design process., , , , and . ISSE, page 364-369. IEEE, (2015)Systems engineering of inter-satellite communications for distributed systems of small satellites., , , , , , and . SysCon, page 705-710. IEEE, (2015)Link performance improvement via design variables optimization in LED-based VLC system for inter-satellite communication., , and . WiSEE, page 7-12. IEEE, (2017)Linear prediction of bandlimited processes with flat spectral densities., and . IEEE Trans. Signal Process., 49 (7): 1564-1569 (2001)Intersatellite Communication System Based on Visible Light., , and . IEEE Trans. Aerosp. Electron. Syst., 54 (6): 2888-2899 (2018)