„Formal Methods“

Suchergebnisse

1.421 Treffer

• Formal methods for concurrent systems design – a survey
  Reisig, Wolfgang 1994 Professoren des Inst. für Informatik
• Household willingness-to-pay for formal residential care for the elderly in an urban setting in Accra, Ghana
  Dakpui, Henry Delali ; Aryeetey, Genevieve Cecilia ; Akweongo, Patricia ; Nonvignon, Justice ; Aikins, Moses
• Discovering and quantifying misconceptions in formal methods using intelligent tutoring systems
  Schmellenkamp, Marko ; Latys, Alexandra ; Zeume, Thomas 2023 Ruhr-Universität Bochum
• Students' perceived authenticity and understanding of authentic research while experimenting in a non-formal learning setting
  Hohrath, Sarah ; Aßmann, Sandra ; Krabbe, Heiko ; Opfermann, Maria 2024 Ruhr-Universität Bochum
• Development and comparison of different fluorimetric HPLC-methods with standard methods for the determination of formaldehyde in the atmosphere
  Grömping, A. H. J. ; Cammann, K.
• Synergy between formal and pragmatic software engineering methods
  Hußmann, Heinrich 1993 Inst. für Informatik
• Theory and formal methods 1993 – proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29 - 31 March 1993
  Burn, Geoffrey 1993 Springer
• Evaluation of molecular and bacteriological detection methods performed on the formalin-fixed paraffin-embedded biopsy samples collected from endometrial and lymph node tuberculosis suspected patients
  Baye, Negash ; Atnafu, Abay ; Girma, Selfu ; Belete, Yerega ; Yimam, Sofia ; Getachew, Betelehem ; Ayalew, Sosina ; Bobosha, Kidist ; Chanyalew, Zewditu ; Gize, Addisu ; Chaniyalew, Meberework
• Formal methods in systems engineering
  Ryan, Peter 1993 Springer
• Formal methods in databases and software engineering – proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15 - 16 May 1992
  Alagar, Vangalur S. 1993 Springer
• Formal methods in programming and their applications – international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings
  Bjørner, Dines 1993 Springer
• Formaldehyde contamination in seafood industry: an update on detection methods and legislations
  Mehta, Naresh ; Vaishnav, Anand ; Priyadarshini, Mocherla Bhargavi ; Debbarma, Payel ; Hoque, Mohammad Sazedul ; Mondal, Pronoy ; Nor-Khaizura, Mahmud Ab Rashid ; Bono, Gioacchino ; Koirala, Pankaj ; Kettawan, Aikkarach ; Nirmal, Nilesh Prakash
• Industrial strength formal methods – proceedings
  Woodcock, James C. P. 1993 Springer
• Formal Controller Synthesis for Dynamical Systems: Decidability & Scalability
  Salamati, Mahmoud ; Majumdar, Rupak 2024 Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• The effect of fibre content on the mechanical properties of hemp and basalt fibre reinforced phenol formaldehyde composites
  ÖZTÜRK, Sultan
• The industrialization of formal methods
  Fitzgerald, John S. ; Gnesi, Stefania ; Mandrioli, Dino
• Determination of formaldehyde and cyanide ion in human nasal discharge by using simple spectrophotometric methods
  Narkowicz, Sylwia ; Polkowska, Żaneta ; Namieśnik, Jacek
• Hydrostatic pressure technique and intravesical instillation of formalin: New methods for the control of severe bleeding from the bladder
  Horňák, M. ; Zvara, V.
• Developing concepts and methods for module and integration tests for models of reactive systems
  Kyeyune, Yusufu
• Formal methods for object-oriented software engineering
  Dodani, Mahesh