( en | de | ru )

 

Disambiguation of "Felder, Miguel"

Author of the publication

copydeleteadd this publication to your clipboard
Mobile Transaction Models Framework.

, , , and . Encyclopedia of Information Science and Technology (IV), Idea Group, (2005)

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.

Heribert Felder

Egon Felder

Hildegard Felder

Thomas Felder

Ekkehard Felder

 

Other publications of authors with the same name

Fault-based Testing of E-Commerce Applications., , and . VVEIS, page 66-74. INSTICC Press, (2004)Formal Specification and Timing Analysis of High-Integrity Real-Time Systems., , and . NATO ASI RTC, volume 127 of NATO ASI Series, page 187-211. Springer, (1992)Finite Time Semantics for Executable Logic Specifications., and . NATO ASI RTC, volume 127 of NATO ASI Series, page 685-686. Springer, (1992)Mobile Transaction Models Framework., , , and . Encyclopedia of Information Science and Technology (IV), Idea Group, (2005)Modal Logic as a Design Notation., , , and . IWSSD, page 150-152. IEEE Computer Society, (1998)Validating Real-Time Systems by History-Checking TRIO Specifications., and . ICSE, page 199-211. ACM Press, (1992)A Framework for Analyzing Mobile Transaction Models., , , and . Advanced Topics in Database Research, Vol. 2, Idea Group, (2003)Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques., , , , , , , , , and 2 other author(s). German-Argentinian Workshop on Information Technology, page 23-30. (1999)Real-time system validation by model checking in TRIO., and . RTS, page 20-28. IEEE, (1991)Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework., , and . FMLDO, page 1-18. Kluwer, (1998)