( en | de | ru )

 

Disambiguierung von "Butler, Michael J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines.

, , , und . Sci. Comput. Program., (2017)

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.

Erin Butler

Martin Butler

Marko Butler

Carl Butler

Helge Butler

 

Weitere Publikationen von Autoren mit dem selben Namen

DeepSaucer: Unified Environment for Verifying Deep Neural Networks., , , , , , und . CoRR, (2018)Reasoning about Grover's quantum search algorithm using probabilistic wp., und . ACM Trans. Program. Lang. Syst., 21 (3): 417-429 (1999)Decomposition Structures for Event-B.. IFM, Volume 5423 von Lecture Notes in Computer Science, Seite 20-38. Springer, (2009)ProB: A Model Checker for B., und . FME, Volume 2805 von Lecture Notes in Computer Science, Seite 855-874. Springer, (2003)Editorial.. Formal Asp. Comput., 28 (2): 179-180 (2016)Incremental Database Design using UML-B and Event-B., , und . IMPEX/FM&MDD, Volume 271 von EPTCS, Seite 34-47. (2017)Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B., , und . TASE, Seite 1-8. IEEE, (2019)ProB: an automated analysis toolset for the B method., und . Int. J. Softw. Tools Technol. Transf., 10 (2): 185-203 (2008)An Approach to Combining B and Alloy., und . ZB, Volume 2272 von Lecture Notes in Computer Science, Seite 140-161. Springer, (2002)An Ordered Bipolar Outflow from a Massive Early-Stage Core, , , , , und . (24.01.2016)