( en | de | ru )

 

Disambiguation of "Dvorak, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Analytic Verification of Flight Software.

, and . IEEE Intelligent Systems, 13 (5): 45-49 (1998)

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.

Georg Dvorak

Florian Dvorak

Wolfgang Dvorák

Iris Dvorak

Michael Dvorak

 

Other publications of authors with the same name

Analytic Verification of Flight Software., and . IEEE Intelligent Systems, 13 (5): 45-49 (1998)Device Representation and Reasoning with Affective Relations., , , , and . IJCAI, page 1814-1820. Morgan Kaufmann, (1995)Path-Based Rules in Object-Oriented Programming., , , , and . AAAI/IAAI, Vol. 1, page 490-497. AAAI Press / The MIT Press, (1996)Model-Based Monitoring of Dynamic Systems., and . IJCAI, page 1238-1243. Morgan Kaufmann, (1989)Process Monitoring and Diagnosis: A Model-Based Approach., and . IEEE Expert, 6 (3): 67-74 (1991)Hard real-time: C++ versus RTSJ., and . OOPSLA Companion, page 268-274. ACM, (2004)Goal-Based Operations: An Overview., , , and . J. Aerosp. Comput. Inf. Commun., 6 (3): 123-141 (2009)Programming with non-heap memory in the real time specification for Java., , , , , , , , , and . OOPSLA Companion, page 361-369. ACM, (2003)Separating Essentials from Incidentals: An Execution Architecture for Real-Time Control Systems., and . ISORC, page 301-304. IEEE Computer Society, (2004)A unifying framework for systems modeling, control systems design, and system operation., , , , and . SMC, page 3648-3653. IEEE, (2005)