( en | de | ru )

 

Disambiguation of "Westphal, Bernd"

Author of the publication

copydeleteadd this publication to your clipboard
Disambiguation of industrial standards through formalization and graphical languages.

, , , and . RE, page 265-270. IEEE Computer Society, (2011)

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.

Bernd Westphal

Bernd Westphal

Bernd Westphal

Bernd Westphal

Bernd Westphal

 

Other publications of authors with the same name

Introduction to Subject Area ^a€oeCharts"i¿½?, and . (2004)A Formal Operational Model of ACT-R: Structure and Behaviour., , and . CogSci, cognitivesciencesociety.org, (2021)Reducing Quasi-Equal Clocks in Networks of Timed Automata., , , , and . FORMATS, volume 7595 of Lecture Notes in Computer Science, page 155-170. Springer, (2012)Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata., and . AVoCS, volume 145 of Electronic Notes in Theoretical Computer Science, page 95-111. Elsevier, (2005)On Complementing an Undergraduate Software Engineering Course with Formal Methods.. CSEE&T, page 1-10. IEEE, (2020)Teaching Cyber-Physical Systems in Student Project Groups., , , , , and . SEUH, volume P-333 of LNI, Gesellschaft für Informatik e.V., (2023)Automatic Generation of Learning Assignments for Software Engineering Formalisms., and . SEUH, volume 2531 of CEUR Workshop Proceedings, page 61-65. CEUR-WS.org, (2020)On Implementable Timed Automata., , and . FORTE, volume 12136 of Lecture Notes in Computer Science, page 78-95. Springer, (2020)But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour., , , and . CogSci, cognitivesciencesociety.org, (2018)IMoG - a methodology for modeling future microelectronic innovations., , and . CoRR, (2023)