Author of the publication

A Supporting Tool for Development of Self-Measurement Ada Programs.

, , and . Ada-Europe, volume 1845 of Lecture Notes in Computer Science, page 69-81. Springer, (2000)

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

QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems., , and . IEICE Trans. Inf. Syst., 102-D (11): 2159-2175 (2019)Logic basis for anticipatory reasoning-reacting systems with three-dimensional moving objects., , , , , , and . ICMLC, page 2641-2646. IEEE, (2010)An Extension of QSL for E-voting Systems., , and . CSA/CUTE, volume 421 of Lecture Notes in Electrical Engineering, page 87-96. Springer, (2016)A General-Purpose Forward Deduction Engine for Modal Logics., , , and . KES (2), volume 3682 of Lecture Notes in Computer Science, page 739-745. Springer, (2005)A Strong Relevant Logic Model of Epistemic Processes in Schientific Discovery.. Discovery Science, volume 1532 of Lecture Notes in Computer Science, page 403-404. Springer, (1998)Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems.. Ada-Europe, volume 4006 of Lecture Notes in Computer Science, page 167-178. Springer, (2006)Tasking Deadlocks in Ada 95 Programs and Their Detection., and . Ada-Europe, volume 1088 of Lecture Notes in Computer Science, page 135-146. Springer, (1996)Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems., , , and . SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, page 198-203. IEEE, (2018)Nondeterministic Parallel Control-Flow / Definition-Use Nets and their Applications.. PARCO, page 589-592. Elsevier, (1993)An Algebraic Semantics of Notional Entailment Logic Cn.. Inf. Process. Lett., 36 (3): 117-121 (1990)