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

Theoretical Foundation of Colored Petri Net through an Analysis of their Markings as Multi-classification., , and . CoRR, (2022)Small satellite systems design methodology: A formal and agile design process., , , and . SysCon, page 518-524. IEEE, (2014)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)Systems engineering of inter-satellite communications for distributed systems of small satellites., , , , , , and . SysCon, page 705-710. IEEE, (2015)An Axiomatization of the Token Game Based on Petri Algebras., , and . Fundam. Informaticae, 77 (3): 187-215 (2007)Requirements hierarchy in the responsive and formal design process., , , and . ISSE, page 1-8. IEEE, (2016)Nets Enriched over Closed Monoidal Structures., and . ICATPN, volume 2679 of Lecture Notes in Computer Science, page 64-81. Springer, (2003)Weather-monitoring sensor web for supporting situation awareness., , and . CogSIMA, page 110-116. IEEE, (2014)Formal requirement management for the Responsive and Formal Design process., , , , and . ISSE, page 364-369. IEEE, (2015)