Author of the publication

Completeness in Statechart Models for Reactive Systems.

, , and . SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, page 117-130. Springer, (1993)

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

Specification of Software Systems, Second Edition., and . Texts in Computer Science Springer, (2011)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)Permutation dependency in datalog programs., , , and . Inf. Sci., 68 (3): 207-223 (1993)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)An Object-Oriented Framework for Specifying Reactive Systems., , and . COODBSE, page 114-133. World Scientific, (1994)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)Context-Based Security and Privacy for Healthcare IoT., , , and . SmartIoT, page 122-128. IEEE, (2018)