„formal methods“

Suchergebnisse

1.000+ Treffer

• Decomposition methods of formal contexts to construct concept lattices
  Qian, Ting ; Wei, Ling ; Qi, Jianjun
• Facile synthesis of high-performance Li1.2Ni0.13Co0.13Mn0.54O2 nanocrystals by a resorcinol formaldehyde gel route as lithium ion battery cathodes
  Xie, Qingliang ; Zhao, Chenhao ; Hu, Zhibiao ; Zhou, Yunlong ; He, Fang ; Liu, Kaiyu
• ProFeat – Feature-oriented engineering for family-based probabilistic model checking
  Chrszon, Philipp ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Baier, Christel 2020 Technische Universität Dresden
• Improving medical protocols by formal methods
  Teije, Annette ˜tenœ ; Marcos, Mar ; Balser, Michael ; van Croonenborg, Joyce ; Duelli, Christoph ; Harmelen, Frank ˜vanœ ; Lucas, Peter ; Miksch, Silvia ; Reif, Wolfgang ; Rosenbrand, Kitty ; Seyfang, Andreas 2006 Universität Augsburg
• Methods of modification of phenol-formaldehyde resins applied in the production of glued-wood materials. A review
  Ugryumov, S. A.
• Cover Feature: Phosphenium‐Cation‐Mediated Formal Cycloaddition Approach to Benzophospholes (Chem. Eur. J. 50/2018)
  Nishimura, Kazutoshi ; Unoh, Yuto ; Hirano, Koji ; Miura, Masahiro
• Zufriedenheit, Wohlbefinden und Anerkennung im Kontext non-formaler Bildung – empirische Ergebnisse aus Luxemburg
  Schumacher, Anette ; Biewers Grimm, Sandra 2025 Budrich Academic Press
• Formal Asymmetric Hydration of Non‐Activated Alkenes in Aqueous Medium through a “Chemoenzymatic Catalytic System”
  Schnapperelle, Ingo ; Hummel, Werner ; Gröger, Harald
• Direct Synthesis of Diverse β‐Fluoroethylamines by a Multicomponent Protocol
  Prakash, G. K. Surya ; Gurung, Laxman ; Jog, Parag V. ; Tanaka, Shinji ; Thomas, Tisa Elizabeth ; Ganesh, Nimisha ; Haiges, Ralf ; Mathew, Thomas ; Olah, George A.
• Formaldehyde-sensing properties of LaFeO3 particles synthesized by citrate sol–gel method
  Zhang, Yong ; Jiang, Bin ; Yuan, Mengjiao ; Li, Peiwen ; Li, Wei ; Zheng, Xuejun
• Formal methods in the scope of the Software and Systems Modeling journal
  Chechik, Marsha ; Combemale, Benoit ; Gray, Jeff ; Rumpe, Bernhard
• Combining formal methods and safety analysis - the ForMoSA approach
  Ortmeier, Frank ; Thums, Andreas ; Schellhorn, Gerhard ; Reif, Wolfgang ; Ehrig, Hartmut ; Damm, Werner ; Desel, Jörg ; Große-Rhode, Martin ; Schnieder, Eckehard ; Westkämper, Engelbert 2004 Universität Augsburg
• A Novel and Highly Stereoselective Intramolecular Formal (3+3) Cycloaddition Reaction of Vinylogous Amides Tethered with α, β ‐Unsaturated Aldehydes: A Formal Total Synthesis of (+)‐Gephyrotoxin
  Wei, Lin‐Li ; Hsung, Richard P. ; Sklenicka, Heather M. ; Gerasyuto, Aleksey I.
• Simple Synthesis of Tetra‐Acceptor‐Substituted Alkenes by the Formal Dehydrodimerization of Malonates
  Linker, Torsten ; Linker, Ursula
• A “Camel through the Eye of a Needle”: Direct Introduction of the TPP + Ion inside Y‐Zeolites by Formal Ion Exchange in Aqueous Medium †
  Amat, A. M. ; Arques, A. ; Bossmann, S. H. ; Braun, A. M. ; Göb, S. ; Miranda, M. A.
• Software Engineering and Formal Methods – 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
  Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario 2014 Springer International Publishing
• Formal Synthesis of (+)‐Catharanthine †
  Moisan, Lionel ; Thuéry, Pierre ; Nicolas, Marc ; Doris, Eric ; Rousseau, Bernard
• Lewis Acid Catalysis in Water with a Hydrophilic Substrate: Scandium‐Catalyzed Hydroxymethylation with Aqueous Formaldehyde in Water †
  Kokubo, Masaya ; Ogawa, Chikako ; Kobayashi, Shū
• Diphenylprolinol Silyl Ether as a Catalyst in an Enantioselective, Catalytic, Formal Aza (3+3) Cycloaddition Reaction for the Formation of Enantioenriched Piperidines †
  Hayashi, Yujiro ; Gotoh, Hiroaki ; Masui, Ryouhei ; Ishikawa, Hayato
• Formal methods for transport systems
  Beek, Maurice H. ˜terœ ; Gnesi, Stefania ; Knapp, Alexander