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

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)Specification of Software Systems, Second Edition., and . Texts in Computer Science Springer, (2011)An Environment for High-level Program Development., and . Fachtagung über Programmiersprachen, volume 77 of Informatik-Fachberichte, page 144-155. Springer, (1984)Characteristics and classification of big data in health care sector., and . ICNC-FSKD, page 1439-1446. IEEE, (2016)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)Permutation dependency in datalog programs., , , and . Inf. Sci., 68 (3): 207-223 (1993)Assessment of Maintainability in Object-Oriented Software., , and . TOOLS (39), page 194-206. IEEE Computer Society, (2001)