Mike Kelley

Publication Activity (10 Years)

Years Active: 1991-2017
Publications (10 Years): 1

Top Topics

Formal Specification

Computing Systems

Top Venues

Publications

Judith Dahmann, Aleksandra Markina-Khusid, Allison Doren, Thomas Wheeler, Matthew Cotter, Mike Kelley
SysML executable systems of system architecture definition: A working example. SysCon (2017)
Krishna G. Kulkarni, Jim Melton, Jonathan Bauer, Mike Kelley
Inheritance for ADTs (revised) ANSI X2H2 (1991)