Author of the publication

A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures.

, and . FME, volume 2021 of Lecture Notes in Computer Science, page 173-196. Springer, (2001)

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

Context-Aware Security Solutions for Cyber Physical Systems., and . ICCASA, volume 109 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 18-29. Springer, (2012)Characteristics and classification of big data in health care sector., and . ICNC-FSKD, page 1439-1446. IEEE, (2016)An Environment for High-level Program Development., and . Fachtagung über Programmiersprachen, volume 77 of Informatik-Fachberichte, page 144-155. Springer, (1984)Specification of Software Systems, Second Edition., and . Texts in Computer Science Springer, (2011)Dependable Traffic Control Strategies for Urban and Freeway Networks., , and . Mob. Networks Appl., 21 (1): 98-126 (2016)Context-Aware Security Solutions for Cyber-Physical Systems., and . Mob. Networks Appl., 19 (2): 212-226 (2014)Contelog: A declarative language for modeling and reasoning with contextual knowledge., , and . Knowl. Based Syst., (2020)An Object-Oriented Framework for Specifying Reactive Systems., , and . COODBSE, page 114-133. World Scientific, (1994)Context-Based Security and Privacy for Healthcare IoT., , , and . SmartIoT, page 122-128. IEEE, (2018)Dependable Service-Oriented Design of Healthcare IoT., and . SmartIoT, page 257-264. IEEE, (2023)