( en | de | ru )

 

Disambiguation of "Verhoef, Marcel"

Author of the publication

copydeleteadd this publication to your clipboard
Guest editors' introduction: quantitative analysis of real-time embedded systems.

, , and . Int. J. Softw. Tools Technol. Transf., 8 (6): 605-606 (2006)

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.

Aart Verhoef

Marcel Fiege

Hierarchische Selbstorganisation von Helicaten mit substituierten 8-Hydroxychinolinliganden. TU Aachen, (2009)

Marcel Shirvanian

Optimierung von Datenbanksystemen zur Verwaltung von Fuzzy-Daten. Uni Münster, (2010)

Marcel Oberländer

Three-dimensional reengineering of neuronal microcircuits: the cortical column in silico. Uni Heidelberg, (2009)

Marcel Wolf

Nukleärer Transport von β-Catenin Beta-Catenin in Kraniopharyngeomen: Mutationsanalyse des β-Catenin-Gens und immunhistochemische Untersuchung der Verteilung des Adenomatosis-polyposis-coli-Proteins. Uni Erlangen-Nürnberg, (2009)
 

Other publications of authors with the same name

The overture initiative integrating tools for VDM., , , , , and . ACM SIGSOFT Softw. Eng. Notes, 35 (1): 1-6 (2010)Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP., , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 727-737. Springer, (2019)A formal approach to collaborative modelling and co-simulation for embedded systems., , , and . Math. Struct. Comput. Sci., 23 (4): 726-750 (2013)From Embedded to Cyber-Physical Systems: Challenges and Future Directions., , and . Collaborative Design for Embedded Systems, Springer, (2014)Discrete-Event Modelling in VDM., , , and . Collaborative Design for Embedded Systems, Springer, (2014)Deploying Co-modelling in Commercial Practice., , and . Collaborative Design for Embedded Systems, Springer, (2014)Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems., , , , and . IFM, volume 6396 of Lecture Notes in Computer Science, page 12-26. Springer, (2010)Modeling and Validating Distributed Embedded Real-Time Systems with VDM++., , and . FM, volume 4085 of Lecture Notes in Computer Science, page 147-162. Springer, (2006)Guest editors' introduction: quantitative analysis of real-time embedded systems., , and . Int. J. Softw. Tools Technol. Transf., 8 (6): 605-606 (2006)Digital Engineering Hub Pathfinder., , , , , , , , , and 1 other author(s). MoDELS (Companion), page 467-476. IEEE, (2021)