Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Report on a Practical Application of ASMs in Software Design.

E. Börger, P. Päppinghaus, und J. Schmid. Abstract State Machines, Volume 1912 von Lecture Notes in Computer Science, Seite 361-366. Springer, (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Apl. Prof. Dr. Joachim Bill University of Stuttgart

Prelithiated, Multiscale Nickel Phosphate Octahydrate Platelets by a Tailored Nanoarchitectonics ApproachL. Raafat, J. Bill, und Z. Burghard. Chemistry of materials, 35 (12): 4845-4856 (2023)

Prelithiated, Multiscale Nickel Phosphate Octahydrate Platelets by a Tailored Nanoarchitectonics ApproachL. Raafat, J. Bill, und Z. Burghard. Chemistry of materials, 35 (12): 4845-4856 (2023)Digital Transformation in Toxicology : Improving Communication and Efficiency in Risk AssessmentA. Singh, G. Bansod, M. Mahajan, P. Dietrich, S. Singh, K. Rav, A. Thissen, A. Bharde, D. Rothenstein, S. Kulkarni und 1 andere Autor(en). ACS omega, 8 (24): 21377-21390 (2023)

Peter Schmid

Christian Schmid University of Stuttgart

Peter Schmid

Markus Schmid

Weitere Publikationen von Autoren mit dem selben Namen

Refinement and implementation techniques for Abstract State Machines.J. Schmid. University of Ulm, (2002)Production of 1-Octanol from n-Octane by Pseudomonas putida KT2440T. Vallon, M. Glemser, S. Malca, D. Scheps, J. Schmid, M. Siemann-Herzberg, B. Hauer, und R. Takors. CHEMIE INGENIEUR TECHNIK, 85 (6): 841-848 (Juni 2013)A consensus approach for estimating the predictive accuracy of dynamic models in biology.A. Villaverde, S. Bongard, K. Mauch, D. Müller, E. Balsa-Canto, J. Schmid, und J. Banga. Computer Methods and Programs in Biomedicine, 119 (1): 17-28 (2015)Java and the Java Virtual Machine: Definition, Verification, ValidationR. Stärk, J. Schmid, und E. Börger. Springer, (2001)Compiling Abstract State Machines to C++.J. Schmid. J. UCS, 7 (11): 1068-1087 (2001)Existentially closed fields with holomorphy rings.J. Schmid. Arch. Math. Log., 36 (2): 127-135 (1997)Enhanced Predictive Up/Down Power Control for CDMA Systems.M. Dörpinghaus, L. Schmitt, I. Viering, A. Klein, J. Schmid, G. Ascheid, und H. Meyr. ICC, Seite 4327-4332. IEEE, (2006)Report on a Practical Application of ASMs in Software Design.E. Börger, P. Päppinghaus, und J. Schmid. Abstract State Machines, Volume 1912 von Lecture Notes in Computer Science, Seite 361-366. Springer, (2000)High-Confidence Predictions in Systems Biology Dynamic Models.A. Villaverde, S. Bongard, K. Mauch, D. Müller, E. Balsa-Canto, J. Schmid, und J. Banga. PACBB, Volume 294 von Advances in Intelligent Systems and Computing, Seite 161-171. Springer, (2014)Composition and Submachine Concepts for Sequential ASMs.E. Börger, und J. Schmid. CSL, Volume 1862 von Lecture Notes in Computer Science, Seite 41-60. Springer, (2000)